Decomposing a factorial into large factors (second version)