\frac{f(x)-f(x_0)}{x-x_0}\leq f'(x_0)