f′(x)>0,f′′(x)>0이므로 연속함수 f(x)의 그래프는 구간 [0,1]에서 아래로 볼록하게 증가한다.
또, 역함수 f−1(x)의 그래프는 곡선 y=f(x)와 직선 y=x에 대하여 대칭이므로 다음 그래프와 같다.

이때, ∫01{f−1(x)−f(x)}dx의 값은 위 그림에서 색칠한 부분의 넓이와 같고, 이는 직선 y=x와 곡선 y=f(x)로 둘러싸인 부분의 넓이의 2배와 같다. 직선 y=x와 곡선 y=f(x)로 둘러싸인 부분의 넓이는 정적분의 정의에 의해
∫01{x−f(x)}dx=n→∞limk=1∑n{nk−f(nk)}n1이므로
∫01{f−1(x)−f(x)}dx=2∫01{x−f(x)}dx
=2n→∞limk=1∑n{nk−f(nk)}n1=n→∞limk=1∑n{nk−f(nk)}n2