Factorials and Legendre's three-square theorem

Abstract

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 operation of an automaton.

8 pages, 1 table, 1 figure