"Novel" proofs of "old" calculus theorems

real-analysis calculus big-list reference-request alternative-proof

Andrew Bruckner's survey paper Current trends in differentiation theory includes a lot of examples of new simple proofs of results previously having difficult proofs, but most of the examples are probably past the level you want. Probably more appropriate would be the use of full covers in real analysis.

(ADDED NEXT DAY) When I got home last night I realized that the Bruckner paper I was thinking about isn't the paper I cited above, but rather the paper below. I couldn't find a copy on the internet, but most university libraries (at least in the U.S.) should carry the journal. Nonetheless, the use of full covers in real analysis, which I've already mentioned, is about as close a fit to what you're looking for as I suspect you'll get.

Andrew M. Bruckner, Some new simple proofs of old difficult theorems, Real Analysis Exchange 9 #1 (1983-1984), 63-78. [Go here for the zbMATH review (Zbl 569.26007) of the paper.]

Related

Why are the fundamental theorems of calculus usually associated to the Riemann Integral?
Prove $a^{ab}b+b^{bc}c+c^{ca}a \geqslant \sqrt[6]{5}$
A curious coincidence for Wroblewski's solutions to $1^4+x_2^4+x_3^4+x_4^4+x_5^4 = y_1^4$
Prove that $f(x)=0$ has no repeated roots
Non-axiomatisability and ultraproducts
Talks using just two words, such that the same thing is never said three times in a row
Eigenvalues and eigenfunctions for the Fredholm integral operator $K(g) = \int_0^1 e^{x t} g(t) \, dt$.
Measure theoretic definition of curl
Convergence of the series $\sum_{n=1}^\infty \frac{(\sin n)^n}{n}$.
$\log_2 13$ is irrational
Probability on entering direction of a simple random walk
Asymptotic decay rate of an infinite product of sinc functions