ln3*x的原函数