6 ms·

This is a very nice proof! Probably the best proof here, since it's easy to follow and does not require differentiation.