MathCastle
Proof WritingSuperchallengeInduction

Induction · Superchallenge problem

A proof checks only P(1)P(1) and proves both "P(k)⇒P(k+4)P(k) \Rightarrow P(k + 4)" and "P(k)⇒P(k+7)P(k) \Rightarrow P(k + 7)" for every k≥1k \ge 1. For how many nn with 1≤n≤1001 \le n \le 100 is P(n)P(n) NOT established?