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