Paper: Decomposing a factorial into large factors