[math-fun] An Erdos-Szekeres game