# ProofWiki:Jokes/Limericks

## Limericks

$\dfrac {12 + 144 + 20 + 3 \sqrt 4} 7 + \paren {5 \times 11} = 9^2 + 0$
A dozen, a gross, and a score
Plus three times the square root of four
Divided by seven
Plus five times eleven
Is nine squared and not a bit more.
-- Leigh Mercer

My cat, mathematically-trained,
Quantum mechanics
Sends you into blind panics
Because you're not well-enough brained."
-- Matt Westwood

$3,465,653,671.475613$
Three thousand, four hundred and sixty
Five million, six hundred and fifty
Three thousand, six hun-
Dred and seventy one
Point four seven five six one three

$\ds \int \limits_1^{\sqrt [3] 3} z^2 \rd z \times \cos \dfrac {3 \pi} 9 = \map \ln {\sqrt [3] e}$
Integral zee squared dee zee
From one to the cube root of three
Times the cosine
Of three pi over nine
Is the log of the cube root of e

$\ds \int \limits_{0 + 0}^{\sqrt {\frac \pi 4} } \paren {\sqrt v}^2 \map \cos {v^2} \rd v = \dfrac 3 4 \dfrac {\sqrt 2} 3$
Integral root squared of v
Times the cosine of v squared dv
Between zero, no more
And root pi over four
Is three quarters root two over three

I met a logician from Spain
And showed him a proof about chains
Not one to dawdle
He built me a model
A disproof that did cause me pain