It is set in small type as supplementary.
证明[−1,+1]上存在连续的函数,在该区间的每点处允许有一个有限导数,该导数在点x处等于sin(sin1/x1),不同于1/nπ(n整数=0)且不同于0。 (在x=1/nπ的邻域上,对变量x=nπ+Arcsinu1进行变换并使用exerc.7;通过相同的变量变换,证明存在一个独立于n的常量a>0,使得
∫2/(2n−1)π2/(2n+1)πsin(sinx11)dx≤n3a;
并推断如果有人把
g(x)=ε→0lim∫x1sin(sint11)dt,
那么 g 在点 x=0 处的导数等于 0。)