[문제 링크]

실함수 f 가 구간 [0, t] 위에서 C¹-함수이고 f(0) = 0 일 때,

이므로 원하는 바가 증명됩니다. 단,

[1번째 줄] 미적분학의 기본정리로부터 따라나옵니다.

[2번째 줄] 코시-슈바르츠 부등식을 썼습니다.

[3번째 줄] f'(s)² 는 항상 음이 아닌 값을 가지므로, 적분 범위를 s ∈ [0, x] 에서 [0, t] 로 늘리면 값이 감소하지 않습니다.