>>176
nについての有界な単調増加関数…
まで読んだ。