I just taught the classical impossible constructions for the first time, and in finding my class a reference for the transcendence of pi, I found a dearth of distinct proofs.  In particular, those that I read all require the existence of infinitely many primes, which strikes me as extraneous.  Is there a known proof that requires only knowledge that I would "expect", namely, integral calculus to get your hands on the actual constant and algebraic properties of polynomials in connection with the assumption that the constant is algebraic?
The infinitude of primes (more precisely, the existence of arbitrarily large primes) might actually be necessary to prove the transcendence of $\pi$. As I explained in an earlier answer, there are structures which satisfy many axioms of arithmetic but fail to prove the unboundedness of primes or the existence of irrational numbers. Shepherdson presented a simple method for constructing such models, I will present such a model where $\pi$ is rational!

The Shepherdson integers $S$ consist of all Puiseux polynomials of the form
$$a = a_0 + a_1T^{q_1} + \cdots + a_kT^{q_k}$$
where $0 < q_1 < \cdots < q_k$ are rationals, $a_0 \in \mathbb{Z}$, and $a_1,\dots,a_k \in \mathbb{R}$. This is a discrete ordered domain, where $a < b$ iff the most significant term of $b-a$ is positive; this corresponds to making $T$ infinitely large. This ring $S$ satisfies open induction axioms
$$\phi(0) \land \forall x(\phi(x) \to \phi(x+1)) \to \forall x(x \geq 0 \to \phi(x))$$
where $\phi(x)$ is a quantifier free formula (possibly with parameters). So the ring $S$ satisfies the same basic axioms as $\mathbb{Z}$, but only a very limited amount of induction. In the field of fractions of $S$, $\pi$ is equal to the ratio $\pi T/T$. In other words, $\pi$ is a rational number!

Is $\pi T/T$ really $\pi$? The integers form a subring of $S$, and if $p,q \in \mathbb{Z}$ then $p/q < \pi T/T$ in $S$ if and only if $p/q < \pi$ in $\mathbb{R}$. So $\pi T/T$ defines the same Dedekind cut as $\pi$ does, which is a very accurate description of $\pi$. Indeed, any proof of the transcendence of $\pi$ must ultimately be based on the comparison of $\pi$ and its powers with certain rational numbers, which $\pi T/T$ will accomplish just as well as the real number $\pi$. However, the usual definitions of $\pi$ are not easily formalizable in this basic theory, so there is much room for debate here and I wouldn't claim that $\pi T/T$ satisfies all reasonable definitions of $\pi$. Shepherdson only presented this argument for real algebraic numbers like $\sqrt{2}$, which have a finitary description in this theory and leave little room for debate. In any case, the conclusion to draw from this is that basic arithmetic with open induction does not suffice to prove that $\pi$, or any other real number, is irrational (never mind transcendental). 

What about primes? In the ring $S$, the only primes are the ones from $\mathbb{Z}$. Although there are infinitely many primes in $S$, it is not true that there are arbitrarily large primes. For example, there are no primes larger than $T$. Thus $S$ is a model where the unboundedness of primes fails and so does the irrationality of $\pi$. This only shows that basic arithmetic with open induction does not suffice to prove either result. A possible line of attack to show that the unboundedness of primes is necessary to prove the transcendence of $\pi$ would be to show that the minimum amount of induction necessary to prove that $\pi$ is transcendental also suffices to prove the unboundedness of primes. Unfortunately, I do not know how much induction is necessary to prove the transcendence of $\pi$. (And the minimum amount of induction necessary to prove the unboundedness of primes is still an open problem.)



Well, here is a partial answer, which is a bit of a bummer. There is another Shepherdson domain $S_0$ similar to the above where $\pi$ is transcendental over $S_0$ and $S_0$ does not have arbitrarily large primes. This shows that the transcendence of $\pi$ does not imply the unboundedness of primes over basic arithmetic with open induction. The ring $S_0$ is the subring of $S$ where the coefficients of the Puiseux polynomial are restricted to be algebraic numbers. The unboundedness of primes fails in $S_0$ because the real algebraic numbers form a real closed field just like $\mathbb{R}$. The number $\pi$ is transcendental over $S_0$ because it is transcendental over the field of real algebraic numbers.

This is not entirely surprising since open induction is a very weak base theory and the Shepherdson type rings are very pathological. To constrain such pathologies Van Den Dries suggested requiring that the domain is integrally closed in its field of fractions; he called such domains normal but I don't know if this is standard terminology. Neither $S$ nor $S_0$ are normal. More convincing examples would be normal discrete ordered domains. The methods of Macintyre and Marker (Primes and their residue rings in models of open induction, MR1001418) suggest that normal analogues of $S$ and $S_0$ might exist.

The conclusion that I draw from this is that open induction is probably too weak a base theory to study this question. Stronger base theories run into the difficulty that it is still not known just how little induction is necessary to prove the unboundedness of primes. The next reasonable candidate is bounded-quantifier induction (IΔ0), which is not known to imply the unboundedness of primes. Using the Euler product $\pi^2/6 = \prod_p (1-p^{-2})^{-1}$ looks promising, but so far I can only make sense of this product in IΔ0 + Exp which is known to prove the unboundedness of primes.
