2 ms·

You make a good point, nice catch. Technically we don't know what the fastest possible algorithm is yet.