User blog comment:Vel!/Music/@comment-160.94.192.198-20140620200925/@comment-160.94.192.197-20140626145624

Right, or...

It took \left \lfloor{Skewes}\right \rfloor + 1 minutes to decide that \operatorname{li}(x) - \pi(x) wasn't boring.