Real Analysis Folland, 1.20 Proposition Borel measures 
1.20 Proposition - If $E\in M_{\mu}$ and $\mu(E) < \infty$, then for every $\epsilon > 0$ there is a set $A$ that is finite union of open intervals such that $\mu(E \ \triangle \ A) < \epsilon$.

Proof - Let $E\in M_{\mu}$ and $\mu(E) < \infty$ then by lemma 1.17 there exists an open set $U\in M_{\mu}$ such that $E\subseteq U$ and $\mu(U)\leq \mu(E) + \epsilon/2$. Let $\{U_n\}_{1}^{\infty}$ be a sequence of disjoint open intervals such that $\bigcup_{1}^{\infty}U_n = U$ Then $$\sum_{1}^{\infty}\mu(U_n) = \mu(U) < \infty$$ so there exists an $N\in\mathbb{N}$ such that $\sum_{n=N+1}^{\infty}\mu(U_n) < \epsilon/2$. Define $A:= \bigcup_{1}^{n} U_n$ It follows that $$\mu(E \ \triangle \ A) = \mu(E\setminus A) + \mu(A\setminus E)\leq \mu(E\setminus U) + \mu(U\setminus E) + \mu(U\setminus A) = 0 + \mu(U) - \mu(E) + \mu(U) - \mu(A) < \epsilon/2 + \epsilon/2 = \epsilon $$
I am not sure if this is correct, any suggestions or comments are greatly appreciated.
 A: Your proof is essentially correct. It just needs minor adjustments

1.20 Proposition - If $E\in M_{\mu}$ and $\mu(E) < \infty$, then for every $\epsilon > 0$ there is a set $A$ that is finite union of open intervals such that $\mu(E \ \triangle \ A) < \epsilon$.

Proof - Let $E\in M_{\mu}$ and $\mu(E) < \infty$ then by lemma 1.17 there exists an open set $U\in M_{\mu}$ such that $E\subseteq U$ and $\mu(U)\leq \mu(E) + \epsilon/2$. Let $\{U_n\}_{1}^{\infty}$ be a sequence of disjoint open intervals such that $\bigcup_{1}^{\infty}U_n = U$ Then $$\sum_{1}^{\infty}\mu(U_n) = \mu(U) < \infty$$ so there exists an $N\in\mathbb{N}$ such that $\sum_{n=N+1}^{\infty}\mu(U_n) < \epsilon/2$. Define $A:= \bigcup_{1}^{N} U_n$ It follows that 
\begin{align*}
\mu(E \ \triangle \ A) &= \mu(E\setminus A) + \mu(A\setminus E)\leq \\ 
& \leq \mu(U\setminus A) + \mu(U\setminus E) \leq \\
& \leq \mu\left ( \bigcup_{N+1}^\infty U_n \right) +(\mu(U) - \mu(E) )
\leq \\ & \leq \sum_{n=N+1}^{\infty}\mu(U_n) +\epsilon/2 < \epsilon/2 + \epsilon/2 = \epsilon 
\end{align*}
Remark: The fact that $\mu(E) <\infty$ is used to ensure that $\mu(U\setminus E) =\mu(U) - \mu(E)$. 
