lⅰmx→0 lncotx lnx