_16，使得设"K"为formula_15内的紧集。开球formula_19是"K"的一个开覆盖。因"K"紧致，存在有限子覆盖formula_20。（formula_21）用维塔利覆盖引理，这有限子覆盖中存在子集formula_22，当中的开球两两不交，而且将这些开球的半径增至三倍后formula_23可以覆盖"K"。于是上式第四行的不等式使用了开球两两不交性质。从勒贝格测度的内正则性，集合formula_15的测度等于在其内的所有紧集的测度的上确界，故有
应用.哈代－李特