Euler’s pentagonal number theorem