Делимость частных Ферма

Для любого $\varepsilon >0$ и для всех простых $p$, за исключением простых из множества относительной нулевой плотности, существует натуральное $a\le(\log p)^{3/2+\varepsilon}$, для которого не выполняется сравнение $a^{p-1}\equiv 1\,(\operatorname{mod}p^2)$.
Библиография: 5 названий.