2以上の整数n,mについて,n+1≦m^[log(m)mn]が成り立つことを証明せよ。ただし,[x]はx以下で最大の整数である。

mが底なんだけど書き方あってる？