Problem

Source: 2024 FKMO P6

Tags: number theory



Prove that there exists a positive integer $K$ that satisfies the following condition. Condition: For any prime $p > K$, the number of positive integers $a \le p$ that $p^2 \mid a^{p-1} - 1$ is less than $\frac{p}{2^{2024}}$