lim_x->+oo (log_1/3 x - xe^x) = lim_x->+oo ( - ln x/(ln 3) - x e^x) =
= - lim_x->+oo xe^x( ln(x)/(x e^x ln 3) + 1) = -oo*1 = -oo.
Ho usato il limite notevole lim_x->+oo ln(x)/x = 0 e il teorema del prodotto
Quindi 1/ln 3 * lim_x->+oo ln(x)/x * lim_x->+oo 1/e^x = 1/ln 3 * 0 * 0 = 0
e resta solo il secondo addendo.