Terry's own announcement of the new top result: http://terrytao.wordpress.com/2014/12/16/long-gaps-between-primes/ http://terrytao.wordpress.com/2014/12/16/long

Terry's own announcement of the new top result: http://terrytao.wordpress.com/2014/12/16/long-gaps-between-primes/ http://terrytao.wordpress.com/2014/12/16/long-gaps-between-p... The new bound cuts one of the logloglog factors from the denominator. At least that makes the formula slightly neater :)