I am trying to prove that the following is true:

Let $X$ be a Banach space, and $E$ a closed subspace, then $X/E$ is a Banach space

So the quotient norm is $\|[y]\|_{X/E} = \displaystyle\inf_{e\in E}\|y-e\|_X$. We want to show that an arbitrary Cauchy sequence in $X/E$ converges in $X/E$.

Let $\{Y_{n}\}_{n=1}^\infty$ be a Cauchy sequence in $X/E$.

Can we pick $y_n\in Y_n$ such that $\{y_n\}_{n=1}^\infty$ forms a Cauchy sequence, or is there some other approach? I have been having trouble thinking of an approach.