[math-fun] Erdos number =5 sold for over $1000