limit (log(2,n!)) / (log(2,n))^2, n->+oo