求x趋近于0时arc cotx/x的极限