http://www.openproblemgarden.org/op/erdos_szekeres_conjecture
平面上でgeneral position(どの三点も同一直線上にない配置)にある 2^(n-2)+1 個の点から
適切に n 個を選んで凸 n 角形の頂点にすることが必ずできる、という予想があるそうで、
n≦5 の場合は全て証明されているらしい