>>676
再帰的定義の話かな
確かに厳密に言えばそのような関数 f が存在することは明らかではないから、
証明が必要だろうね
この場合は数学的帰納法で f(n) の値が一意に定まることを示せば十分だと思うけど