的半径上确界是2，然而全部球的半径都小于2。若选任何一个formula_45为这个子集，因有半径更大的球formula_51在原点的另一侧，故此formula_52不覆盖formula_51。
应用.这条引理用于证明哈代－李特尔伍德极大不等式。