>>901

ちゃんとM=∞の場合も考えられている。
f(x0)=M の直前までは M=∞かもしれない（最初からM≦∞とかいてある）。
でも、f(x0)=M とわかった時点で f(x0)<∞なのだから、
f(x0)=M<∞がわかった。