3.设f(x0)是f(x)的极大值,如何推出:lim[f(x)-f(x0)]/[x-x0]≥0.极值定义x≠x0
4.微积分学的五个基本的命题是什么