내일볼 퀴즈의 suggested problem중 하나인데.. 3번째 줄에서 4번째 줄로 넘어가는 게 분명히 무언가 미적분 관련한 공식을 쓴 것 같은데

어디선가 배웠던 것 같기도 하고 정성적으로도 이해는 되는데 뚝딱 증명은 안되네요..

리만적분 equipartition으로 두개를 다 나누는 미친짓도 해보았지만 실패..

혹시 이런 theorem의 이름을 알고 계시거나 증명방법을 아시는 분 있나요?