Nowadays, no one looks at Lambert's proof of the irrationality of $\pi$. Mostly you will see (variations of) the far nicer proof by Niven.