lim x趋向于pai/2 (x/cotx - pai/2cosx)