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