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