[intuitionist]

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).

[zahlman]

Oh, that's much easier than I thought it would be. Nice job being rigorous, too.