2 ms·

"Best" is subjective. Proofs can get very long especially for the harder ones mathematicians are tackling these days.