3 ms·

The entire proof is trivial.