Carter Bays Richard H. Hudson A new bound for the smallest x with pi(x) > li(x). 1285-1296 2000 69 Math. Comput. 231 db/journals/moc/moc69.html#BaysH00a