斯潘纳尔引理

从一道加拿大数学奥林匹克试题谈起，详细地介绍了斯潘纳尔引理的内容及其证明。并且介绍了与之相关的IMY不等式、Boolea矩阵、图论、Dilworth定理、极集理论、Gauss数等问题。