We also want G to be "smooth," that is, if you were to graph G[x] as a
function of x, you would find that G is a smooth line that passes
through the points (x, (x-1)!) for every positive integer x. One can
prove that G is the only such function that does this; that is, it is
the unique generalization of the factorial function with these
properties.