Let m'(A) = inf sum of |M_i| where i is from 1 to infinity, such that A is a subset of M_i. M_i's are disjoint.
Is m'(A) = m*(A) ?
m*(A) is outer measure.
A proof involving outer measure is provided. The solution is detailed and well presented.