用凑微分法求算式.∫(1nx/x)dx