5 ms·

Standard ML proved this 50 years ago.