9-4-2　对数的积分推导