>>75
x ≠ 0 のとき

{ f(x) - f(0) } / { x - 0} = f'(c)
を満たす c ∈ (0,x)が存在する

| f(x)| / | x| = | f'(c)| < 1