>>682
>この場合は数学的帰納法で f(n) の値が一意に定まることを示せば十分だと思うけど
この場合は帰納的定義だから証明するまでも無いよ