T terrytao.wordpress.com Decomposing a Factorial into Large Factors 139 points surprisetalk 1 year ago 27 comments