1 quintillion factorial, incidentally, is a number with 17,565,705,518,096,748,181 digits, if I did the math right. Put that in your TI-84 and smoke it.
And... it halted, and Knuth's conjecture is now solved with a bound of 1 quintillion factorial. All positive integers up to, but not including, 114034371 can be constructed.