The Harmonic series is well known and its divergence was proven back in the middle ages.
I've taken an introductory course in model theory so I know a bit about RCF and some properties of it. We did not explore it thoroughly though and haven't seen many interesting examples.
However, I do know that we can take some real closed field which is large enough (i.e. has cofinality $>\aleph_0$) and then the harmonic series will possibly converge.
My question if we take some $\mathcal{F}$ to be a model of RCF in which $\mathbb{R}$ is embedded and that the type $p(x) = \{ x > n | n\in\mathbb{N}\}$ is realized, $$x = \sum_{n \in \mathbb{N}^+} \frac{1}{n}$$ then $\forall y\in\mathbb{R}(x>y)$ then obviously $x$ is an upper-bound for the real numbers in the field we've chosen. However since $x$ is a non-Archimedean number, it is also clear that $x-1$ is an upper bound of the real numbers in $\mathcal{F}$.
This is the part where I get confused. What is $x$ and what is the conditions required for it to exist in the model?