>>415
n^k が奇数だから n は奇数。
k≧2 のとき {左辺}≡2 (mod 4)
n≧2 のとき {右辺}≡0 (mod 4)
したがって k=1 または n=1
n=1のとき任意のkについて成り立つ。
k=1 かつ n≧2 のとき
2^n=(1+1)^n=Σ[r=0~n]nCr>n+1 であるから成り立たない。