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