4 ms·

What kind of proof are you looking for here?