[math-fun] For sale on eBay: an Erdos number