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