The Coleoptera, with about 400,000 described species, is the largest of all orders, constituting almost 40% of described insects and 25% of all known animal life-forms
Because this is a semi-silly thread and I knew somebody else would ask for some more consequential proof. Scrolling up, I see somebody else did indeed ask about Riemann.
Paul Erdős said about Collatz, ”Mathematics is not ready for such problems.” Perhaps having such a proof in hand would make us ready, and prove a useful technique for tackling problems as yet unknown.
Why did racist, misogynistic Grandpa (my maternal grandfather), who hated me and hated my mother, live so much longer than Nee-Nee and Pop-Pop (my paternal grandparents), who loved all of us?