soit x un reel et posons u(a)=sup{f[x-a,x+a]}-inf{f[x-a,x+a]}
il est clair que u(a)>=0 (1)
et si |b|>=|a| alors [x-a,x+a] est inclu ds [x-b,x+b]
dou f[x-a,x+a] est inclu ds f[x-b,x+b]
cad sup{f[x-b,x+b]}>=sup{f[x-a,x+a]} et inf{f[x-b,x+b]}<=inf{f[x-a,x+a]}
dou u(b)>=u(a) ski veu dir que u(a) decroit lorsque a tend vers 0 (2)
de (1) et (2) on deduit que u(a) admet une limite en 0