Definition:Erdos Number