See problem 1.16
exr:ulam
