>>435-437
>[第二段]、任意の点xに対して|f'(x)|＜1/2であって、f(x)-x＞0となる微分可能な実関数f(x)が存在する。
この証明は間違えだが、元の命題は偽だ。図で漸近線描けばすぐ分かる。