MathCastle
Proof WritingSuperchallengeWhat a Proof Is

What a Proof Is · Superchallenge problem

A proof reads: "for odd nn, 8∣n2−18 \mid n^2 - 1; since n4−1=(n2−1)(n2+1)n^4 - 1 = (n^2 - 1)(n^2 + 1) and n2+1n^2 + 1 is even, 16∣n4−116 \mid n^4 - 1; continuing the same way, …\ldots" What is the largest power of 22 that divides n16−1n^{16} - 1 for EVERY odd nn? (Give the power itself, such as 1616.)