4 ms·

Qiaochu, unrelated, but I really enjoy your contribution to MathOverflow. This article is equally solid :)