At the risk of being highly downvoted, I can't resist reposting my comment to Andrew L's answer (or rather, question) below:

is there a purely algebraic proof that for any non constant $P$ in $\mathbb{Q}[i][X]$ and $\epsilon>0$ in $\mathbb{Q}$, there is q in $\mathbb{Q}[i]$ s.t. $|P(q)|<\epsilon$?

I think the statement above is purely algebraic, but I have to admit I'm a bit uncertain as to where the boundary between algebra and analysis falls.

At the risk of being highly downvoted, I can't resist reposting my comment to Andrew L's answer (or rather, question) below:

is there a purely algebraic proof that for any non constant $P$ in $\mathbb{Q}[i][X]$ and $\epsilon>0$ in $\mathbb{Q}$, there is $q$ in $\mathbb{Q}[i]$ s.t. $|P(q)|<\epsilon$?

I think the statement above is purely algebraic, but I have to admit I'm a bit uncertain as to where the boundary between algebra and analysis falls.