前>>584訂正。自然数の記号はＮでした。
>>582
n=8のとき、
tan45°=1
∀kэＮに対して、
与式=1^k=1эＮ
∴n=8のとき、kは任意の自然数。
n≠8のとき、k=0
もっとありそうな感じがする。