Oleg Shpyrko is a pretty cool quantum bean. He helped me a lot with physics life advice, and helped1along with Dr. Cliff Surko, Dr. Tarun Grover, Saixious D., Lara S., Gavin S., Veenavi W. and Mia D. metabolize my Statement of Purpose for PhD admissions from regular poop to shiny poop. Therefore I printed the following rigorous proof on a mug.
Hint: Oh no! O notation!