양의 정수 하나를 인자로 받아 정수를 돌려주는 함수 f(X)가 다음과 같이 정의되어 있다.
function f(X):
iterations := 0
while X is not 1:
if X is even:
divide X by 2
else:
add 1 to X
add 1 to iterations
return iterations
어떤 양의 정수 X를 넣어도 이 함수는 반드시 끝난다는 사실을 증명할 수 있다. 구간 [L,R]이 주어지면 다음 합을 구하라.
S=f(L)+f(L+1)+⋯+f(R−1)+f(R)