Talk:Erdős–Szekeres conjecture