3 ms·

Sure, formal proof would be a lot harder. I just didn't find it quite as surprising that it works as the article implied.