3 ms·

What kind of hardware are you targeting in the proof?