lim (sin^2x+6sinx+5)/(sinx^2-1) as x->pi/2