>>446
この問題は1からkまで成立したときにk以上の値mの全てでf(m)が成立すると
いうことだから、実際の値を関数にできない問題では意味がない