すまんかった。
単調増加の条件が必要だった。
f_1＝＜f_2＝＜・・・
今の場合、これを満たしている。
F_n(x)=（1+(f(x)/n)^α)^n
とおくと、
高校数学にもあるように、これは単調増加。
よって、nlog（1+(f(x)/n)^α)＝log｛（1+(f(x)/n)^α)^n｝もalso