12. f(x+y)−f(x)⩾f(x)[f(y)−1], that is, f(x+y)−f(x)⩾f(x)[f(y)−f(0)], (1) Dividing both sides by y, when y>0, we get (x+y)−x1[f(x+y)−f(x)]⩾f(x)y−0f(y)−f(0)
Let y→0. We get f′(x)⩾f(x)⋅f′(0) head y>0).
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.