locked
Erdos number error? RRS feed