lim(x->infinity) (4^x-1)^3/( sin(x)*ln(1+x^2/3))