MathCastle
Proof WritingSuperchallengeWriting It Up

Writing It Up · Superchallenge problem

The proof of 24∣p2−124 \mid p^2 - 1 combines "odd ⇒8∣n2−1\Rightarrow 8 \mid n^2 - 1" and "3∤n⇒3∣n2−13 \nmid n \Rightarrow 3 \mid n^2 - 1". A student adds "5∤n⇒5∣n2−15 \nmid n \Rightarrow 5 \mid n^2 - 1" to claim 120∣n2−1120 \mid n^2 - 1 whenever gcd⁡(n,30)=1\gcd(n, 30) = 1. What is the smallest n>1n > 1 with gcd⁡(n,30)=1\gcd(n, 30) = 1 refuting it?