MathCastle
Proof WritingSuperchallengeContrapositive and Contradiction

Contrapositive and Contradiction · Superchallenge problem

Fermat’s test is used by contrapositive: if pp is prime then p∣2p−2p \mid 2^p - 2, so if n∤2n−2n \nmid 2^n - 2 then nn is composite. The test can fail to detect a composite. What is the smallest composite nn with n∣2n−2n \mid 2^n - 2?