[j2kun]

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