Comment by j2kun

There are only some 700 open Erdos problems left, so when they're all solved you can finally rest.