lim 1/(x^(1/x)), x->inf