3 ms·

I don't think that assumption is implicit in this argument, since it's specifically about whether complexity can lead to better optimization.