x趋于0正,xln(cotx)