g(x)=int 0 to x f(t) dt - int 0 to x (x-t)f(t) dt 라 두면
g(0)=0, g(1)=0
g'(x)=f(x)-int 0 to x f(t) dt

롤의 정리에 의해 f(c)=int 0 to c f(t) dt인 0<c<1 존재

이러면 곱의미분법만 쓰고증명가능

- dc official App