Talk:Davenport–Erdős theorem