A quantitative formulation of the global regularity problem for the periodic Navier-Stokes equation - Terence Tao (2007)