A well known theorem of Dirichlet says: if $a,b$ are relatively prime positive integers, then there are infinitely many primes of the form $an+b$.
The original proof by Dirichlet (possibly) uses analytical methods. Also, in special cases, such as for $a=4$ and $b=1$ or $3$, the theorem can be proved in elementary fashion, without using analysis.
However, I heard, that there is no proof of Dirichlet theorem which avoids analysis.
Another interesting theorem in number theory is "$n!$ is never a perfect square" whose proof uses again analytical methods (see this).
Question. What are the other theorems in number theory (other than F.L.T) which are easy to state, but whose proof necessarily depends on analytical methods?