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