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

�@　 x ← a

�A　 y ← f ( x )

�B　 y の値を表示する。

�C　 x ← y

�D　�A に戻る。