>>538
直観的には、関数y＝f(x)の傾きが-1/2より大きく1/2より近い
と同時に関数y＝f(x)の傾きが1なんだから、実数の大小関係から
任意の点xにおいて|f'(x)|＜1/2なるとき、方程式f(x)-x＝0はただ1つの実根を持つ
ことは当たり前だろ。というか、根という言葉は代数方程式に用いるのであって、
この場合は根ではなく解というべきなんだが。