勉強

某講義のレポートで出た問題で、

が原始帰納的関数であることを示せって問題が出て、


と定義したものはいいものの、この関数は本当に題意を満たすのかどうか証明し難い。原始帰納的関数であることは簡単に示せるのだが。さてはて。どうしたもんだろ。
追記：原始帰納的関数なんだから帰納法使えよ、俺。