原文:旭-ASAHI | 【组合数学】Erdős–Szekeres定理