Decomposing a factorial into large factors (second version) | Heykuki News