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