>>849

k!≦2(k/2)^k と仮定し両辺に(k+1)をかける
(k+1)! ≦ 2 { (k/2)^k } (k+1)

右辺 ≦ 2 { (k+1)/2)^(k+1) を示せばよいが
比べてみると
2 k^k ≦ (k+1)^k
を示せということか。
2 ≦ (1+(1/k))^k
なんだか見覚えのある式がでてきた。
(1+x)^m = 1 + mx + … + x^m であることを考えると

(1+(1/k))^k ≧ 1 + k (1/k) = 2