>>606
>直観的には「数列が収束するあたりでは値が一定になる」って感じ。
ループ(再帰)の終了条件(不動点)で良いのでは？
『計算機プログラムの構造と解釈』SICPにも載ってるね