用极限对cotx求导