>>324
n=kのとき与式が成り立つ、すなわち
2^k>2k+1であると仮定する。
ここで、2^(k+1)=2*2^k>2(2k+1)=4k+2>2k+3=2(k+1)+1　(kは3以上の自然数)
よって、2^(k+1)>2(k+1)+1であるからn=k+1のときも成り立つ。