>>819 で書いたのは
p88の定理13.2の誤り:

0=<f_1=<f_2=<・・・
このとき、lim∫f_ndx=∫lim f_n dx が成り立つ。