求lnt (1 t)dt的微积分