limit x^(-2)-(cotx)^2, x->inf