Mergelyan-Wesler Theorem

Theorem
Let $P = \sequence {D_1, D_2, \dotsc}$ be an infinite sequence of disjoint open disks whose union is the unit disk $D$ except for a set of measure zero.

Let $r_n$ be the radius of $D_n$.

Then:
 * $\ds \sum_{k \mathop = 1}^\infty r_k = +\infty$