Hutter's Theorem (2002)

"there exists an algorithm which is asymptotically within a factor of 5 of the fastest algorithm for solving any well-defined problem."