Factorials and Legendre's three-square theorem

Rob Burns

We provide a necessary and sufficient condition for $n!$ to be a sum of three squares. The condition is based on the binary representation of $n$ and can be expressed by the operat…