Math book of comically convoluted proofs?

Question

I remember seeing a math book that consisted entirely of proofs of banal statements using sophisticated techniques. For example, to prove $1 < 2,$ it might begin with "Consider a Hilbert space on $\mathbb{C^n}$ and a sesquilinear map ... (blah blah)" and then a few paragraphs later would be "QED" of a valid - but unnecessary - justification, purely for comic purposes. Like a "Proofs from THE BOOK" for comedians. Does anyone know the book I'm referring to?

Answer 1

Mathematics Made Difficult by Carl Linderholm is the book you’re looking for. I actually found reading it was quite helpful. Its proof of the commutative property of addition for $\mathbb{N}$ is quite nice, for example.