当x正向趋近于1时,lim((ln (x-1)-x)/cot(派/(2x)))