Killing a butterfly with a bazooka [duplicate]
Let $n\ge3$. Prove that $\sqrt[n]2\notin\Bbb Q$.
Let us suppose that $\sqrt[n]2=p/q$, that is $2q^n=p^n$, so $q^n+q^n=p^n$, against FLT.
Do you know similar examples, in which simple problems are solved using huge weapons (maybe in a elegant way)?
Solution 1:
Every bounded entire complex valued function on the complex plane misses three values in the range and, therefore, is constant by Picard's theorem.