I recently tried exercise 10.4 in Matsumura's Commutative Ring Theory, but got stuck. The question is:
If $R$ is a valuation ring of Krull dimension $\geq 2$, then the formal power series ring $R[[X]]$ is not integrally closed.
Reading the solution: "Let $0 \subset p_1 \subset p_2$ be a strictly increasing chain of prime ideals of $R$ and let $0 \neq b \in p_1$, $a \in p_2-p_1$, thus $ba^{-n} \in R$ for all $n > 0$. Take $f=\sum_{i=1}^\infty u_i X^i$ to be a root of $f^2+af+X=0$. Then $u_1 = a^{-1}$ and for all i we have $u_i \in a^{-2i+1}R$ so $bf(x) \in R[[X]]$ but $f(X) \not \in R[[X]]$."
I understand all the steps of the proof in some sense, but I don't really see why one should think of f to be a root of $f^2+af+X=0$. What is the motivation for considering this equation and roots here? What I am after is as such, the idea of the proof, which I can't seem to find at the moment.
Thankful for answers.