>>36
f(l,m,n)<1という条件だよ。

f(2,4,5)がこれを満たすことをすでに示している。
また、単調性からn≧m≧5のときf(2,4,5)>f(2,m,n)は明らか。
だから、n≧m≧5のとき上の条件を満たすことは明らか。
そして、n≧m≧5のときの最大値はn≧m≧5の条件下でn及びmが最小のときだからf(2,5,5)だとわかる。