a_1 = 0 , a_2 = x
a_(n+1) = a_n + 1/(a_n)^2 -a_(n-1)
により定まるxの有利関数列a_nは、n≧2では「恒等的に0」になることはない

は帰納法で示せるますでしょうか