For every natural n, there exists a natural b, such that: n! ≈ b^n
The fact is that `e * (n!)^(1/n)` is quite close to `n`.
But John didn't factor out the `e`, causing the confusion in this HN post's threads.