n=k+1の時
(k+2)(k+3)(k+4)⋯(2k-1)(2k)(2k+1)(2(k+1))
=(k+1)(k+2)(k+3)⋯(2k-1)(2k)(2k+1)(2)
=2^{k}・1・3・5・⋯・(2k-1)(2k+1)(2)
=2^{k}・1・3・5・⋯・(2k-1))(2k+1)(2)
=2^{k+1}・1・3・5・⋯・(2k-1)(2k+1)
よってn=k+1の時も正しい。
最後の2(k+1)から(k+1)だけ一番前に持ってきています。そのため、k+1がどこから来たのかと言われれば、2(k+1)の(k+1)というのが答えです。