Writing It Up · Challenge problem

Using lemmas for each prime separately, what is the largest integer that divides $n^7 - n$ for every integer $n$?