This problem was solved by only one participant: Yuqiao Huang. The submitted solution does not discuss the case when $a=p$. For $1\leq a\leq p-1$, the solution claims correctly that $\left \lceil \left(a^{p-1}-1 \right)^{\frac{p}{p-1}} \right\rceil= a^p-a$, hence the result follows from Fermat's Little Theorem. In order to justify the claim, the solver proves that \[ a^p-a-1< \left(a^{p-1}-1 \right)^{\frac{p}{p-1}}\leq a^p-a.\] The proof of the right hand side inequality is fairly simple; the submitted proof of the left hand side inequality is rather long and complicated, and we will not reproduce it here. To see a detailed solution click the following link Solution