[math-fun] Erdos conjecture on arithmetic progressions