lim x-> 1 (1/((cos(Pi