f(n) = lb ((n!)^2)