P'(n)=∀k≦n P(k) として
P'(n)に対して普通の数学的帰納法を使えば良い