Decomposing a Factorial into Large Factors (wordpress.com)