数值估计迫使极大集合至少有 100 个元素。
由于 ,得到 。从 任取 个元素即可得到两两不相交的平移集合。 99⋅10101=999999<10699\cdot10101=999999<10^699⋅10101=999999<106 TTT ∣T∣≥100|T|\ge100∣T∣≥100