関数f(x)は，引数も戻り値も実数型である。この関数を使った，①x←a，②y←f(x)，③yの値を表示する，④x←y，⑤②に戻る，から成る手続を考える。手続の実行を開始してから十分な回数を繰り返した後に，③で表示されるyの値に変化がなくなった。このとき成立する関係式はどれか。