 Solution

Start with $R_0=A$. Having chosen disjoint $A_1,\dots ,A_i$, put $R_i=A\setminus {\bigcup }_{j\le i}{A}_j$ andThe empty set shows $s_i\ge 0$, and finite total variation bounds it above. If $s_i>0$, choose $A_{i+1}\subseteq R_i$ with $\mu (A_{i+1})\ge s_i/2>0$; if $s_i=0$, choose $A_{i+1}=\varnothing$. This is the required recursion, including the initial step $i=0$.

Disjointness and nonnegativity give ${\sum }_i\mu (A_i)\le |\mu |(A)<\infty$, hence $\mu (A_i)\to 0$. Write $R=A\setminus {\bigcup }_i{A}_i$. For every measurable $B\subseteq R$,Thus every measurable subset of $R$ has nonpositive measure. Each finite partition of $R$ consequently has variation sum exactly $-\mu (R)$, and therefore $|\mu |(R)=-\mu (R)$. It follows that ${\mu }^{+}(R)=0$. Finally countable additivity gives