Prove R[[x]] is a complete metric space. I am attempting to show that $R[[x]]$ (the ring of formal power series) is a complete metric space, where $d(A,B)= 2^{-ord(A-B)}$ if $A\neq B$ and $d(A,B) = 0$ if $A=B$.
I have shown that it is a metric space but am struggling with proving it is complete. I know that I need to show that every Cauchy sequence converges to something in $R[[x]]$ but am not sure how to go about this.
Thank you for any help!

Let $N$ be a non-negative integer. If $d(A,B) < 2^{-N}$ then $ord(A-B) >N$ which implies that the first N coefficients in A and B are equal. If $\{A_k \}$ is a Cauchy sequence then $d(A_n,A_m) < 2^{-N}$ for all n and m sufficiently large so the first N coefficients in $A_n$ and $A_m$ are the same for all n and m sufficiently large. In particular the N-th coefficients in $A_1,A_2,...$ become the same after some stage.
Denoting by $K_i(A_n)$ the $i$-th coefficient in $A_n$, then one can define
$$a_i=\lim_{n\to +\infty}{K_i(A_n)}.$$
This way you obtain $a_0,a_1,a_2,...$. Now let A be the formal power series with these coefficients. Then $d(A_n,A) \to 0$. To see this let $\epsilon >0$ and choose N such that $2^{-N} <\epsilon$. It is cleat from the definition of $a_n$'s that for all n sufficiently large the first N coefficients of $A_n$ and A coincide. This implies $ord(A_n -A) \geq N$ and $d(A_n,A) <2^{-N} <\epsilon$ for all n sufficiently large. We have proved that $A_n \to A$.
