私の直観を表現する手段として、数学的帰納法では不十分かもしれません。
P(n)を解析接続すると、全ての自然数で割り切れる自然数が得られる、
という方向ではどうでしょう？