>>37

＞f(2,4,5)がこれを満たすことをすでに示している。
＞また、単調性からn≧m≧5のときf(2,4,5)>f(2,m,n)は明らか。

確かにそうですね
どのタイミングでm≧5のときのように踏み込めばいいですか？