I'm reading Kunen's Foundations of Mathematics and trying to solve Exercise II.16.19, which constructs an elementary extension of the reals as an ordered field, and asks the reader to prove various properties. I'm stuck on proving that there is no smallest infinitely large prime.
Here's the setup (abbreviated). $\mathcal{L}$ is the lexicon $\{0, 1, +, \cdot, -, i, <, Z\}$. $i$ here indicates "multiplicative inverse", and $Z$ is the unary predicate "is an integer". Let $\mathfrak{R}$ be the structure with universe $\mathbb{R}$, where the symbols in $\mathcal{L}$ are interpreted in the obvious way. Then let $\mathfrak{B} \succneqq \mathfrak{R}$ be a proper elementary extension of $\mathfrak{R}$, whose existence is guaranteed by the upward Löwenheim-Skolem-Tarski theorem, and $B \supsetneqq \mathbb{R}$ its universe. We note in particular that $\mathfrak{B}$ is an ordered field so usual arithmetic notation makes sense. We say an element $b \in B$ is infinitely large if $|b| > r$ for every $r \in \mathbb{R}$.
An element $p$ of a structure over $\mathcal{L}$ is prime iff we have $p \ge 2$, $Z(p)$, and there do not exist $x,y$ such that $Z(x)$, $Z(y)$, $1<x<p$, and $p=x\cdot y$. (I have tweaked Kunen's definition slightly to rule out negative primes, which are not considered in this problem.) Of course, in $\mathfrak{R}$, this is the usual notion of a prime number.
I have proved that infinitely large primes exist in $\mathfrak{B}$ and that the set of infinitely large primes in $B$ is unbounded above. Now I wish to:
Show that there is no smallest infinitely large prime in $\mathfrak{B}$. That is, for any infinitely large prime $p$, there is an infinitely large prime $q$ with $q < p$.
I am a bit stuck. The main tool available to us that $\mathfrak{B}$ is an elementary extension of $\mathfrak{R}$, which means that if $\varphi$ is any first-order formula of $\mathcal{L}$, we have $\mathfrak{R} \vDash \varphi(r)$ for every $r \in \mathbb{R}$ iff $\mathfrak{B} \vDash \varphi(r)$ for every $r \in \mathbb{R}$ (and likewise for formulas $\varphi(r_1, \dots, r_n)$ with several free variables). In particular, every sentence of $\mathcal{L}$ (with no free variables) that holds in $\mathfrak{R}$ also holds in $\mathfrak{B}$.
I thought of trying to produce the prime $q$ by using the fact that, in $\mathcal{R}$, for every integer $n$ there is a prime between $n$ and $n!$. But I don't know how to express the factorial function in a first-order way. (I thought of using some larger function, like $n^n$, but that doesn't seem any better.)
A crazy idea I had is to use some weak version of the Goldbach conjecture. For instance, Vinogradov's theorem proves that, in $\mathfrak{R}$, every sufficiently large odd number is the sum of three primes, and apparently Borozdin showed that $3^{3^{15}}$ is large enough. In particular, every prime larger than $3^{3^{15}}$ is the sum of three primes. This is easily expressed as a first-order sentence of $\mathcal{L}$ so it must also be true in $\mathfrak{B}$. Thus every infinitely large prime $p$ in $\mathfrak{B}$ is a sum of three primes, all of which are less than $p$, and at least one of those three must be infinitely large. But this can't possibly be the "right" solution!
Any hints would be welcome.