必有f(0)=0,|f(x)|≤x²<ε,|x|<√ε,lim(x-->0)|f(x)|=0;lim(x-->0)f(x)=0f'(0)=±lim(x-->0)f(x)/x,0/0型,-x²≤f(x)≤x²,-|x|≤f(x)/x≤|x|夹逼定理,上述极限=0,即f'(0)=0,存在。