실수에서 정의된 서열 함수와 재귀적 알고리즘

주어진 서열 감소 함수들을 이용하여 정의된 재귀적 알고리즘은 모든 실수 입력에 대해 종료되며 서열 감소 함수가 된다.