Ved 40:46, hvis b er den største af nedre grænser, skal der så stå b < b_0, hvorimod der står b ≤ b_0 for både andet tilfælde af mindst øvre grænse og største nedre grænse? Jeg tjekkede notaterne til foredraget efter og den anden sag; mens du bruger c og c_0, står der c < c_0. Jeg spekulerede på, om det strengt taget skulle være mindre givet c_0 eller b_0 betragtes som den største nedre grænse.####[]