News for hackers. Stuff that matters.

A comment on Decomposing a Factorial into Large Factors. Parent comment

Re:Decomposing a Factorial into Large Factors by intuitionist on Friday March 28, 2025 @01:02PM (#43507685)
Yeah, since t(N) < N, you can use the decomposition for N! and one extra factor (N+1) to get a decomposition for (N+1)! with a smallest part equal to t(N).
[ Parent | on HN ]
Re:Decomposing a Factorial into Large Factors by zahlman on Friday March 28, 2025 @09:15PM (#43511800)
Oh, that's much easier than I thought it would be. Nice job being rigorous, too.
[ Parent | on HN ]