lim(x→1)[(cos(π/2)x]/(1-x)