As a result of your post, I noticed that although Google gives an answer for 10! it does not for 9000! (for moderately obvious reasons). I became curious, and established that the highest number they give factorials for is 170!. I wonder what's so special about 170!?
Essentially transporting TCP over TCP has serious timeout problems... a small glitch in the outer TCP can cause major hiccups on the inner TCP.
Your link refers to TCP packets encapsulated within TCP streams, e.g. PPP over TCP. That kind of encapsulation does suffer timeout problems. SSH opens separate TCP connections at both ends of the tunnel, owned by the ssh and sshd processes. It then simply copies the data between the two, over the ssh->sshd link. This way means that you now have three unrelated TCP timeouts - one for the SSH link, and one for each of the two end links.
171! would overflow a double.
Your link refers to TCP packets encapsulated within TCP streams, e.g. PPP over TCP. That kind of encapsulation does suffer timeout problems. SSH opens separate TCP connections at both ends of the tunnel, owned by the ssh and sshd processes. It then simply copies the data between the two, over the ssh->sshd link. This way means that you now have three unrelated TCP timeouts - one for the SSH link, and one for each of the two end links.