[Someone]

It also surprised me how simple the more general proof https://primes.utm.edu/notes/proofs/A3n.html is (except for that pesky invocation of the Riemann hypothesis to prove that there is a prime between successive primes)

But (pedantic): it may be that we use a cannon to kill a fly only because we don't know yet that the thing we attempt to kill is a fly, but it appears we don't know that for sure, either. Maybe it is a bullet-proof fly the size of an elephant (would be a cool result: The Riemann hypothesis is true iff, for all N, there is at least one prime between N^3 and (N+1)^3)