lim_(x->∞) (((e^(x^2/2)/((sqrt(π) I_0(x^2/2)) x)-1)*x^2+1/4)*x^2+7/32)*x^2