lim(log(x)^log(x), x->inf)