The Erdős–Szekeres happy ending problem
Prove that any 2^{n−2}+1 points in general position in the plane contain a convex n-gon; open from n = 7 on.
Prove that any 2^{n−2}+1 points in general position in the plane contain a convex n-gon; open from n = 7 on.
shoal-catalog changed this problem (d1cbb60b3b19). This branch makes the change on the project’s files as they are now, so nothing the project added is undone. Merge what still holds.