∫1xⅆ⁡tt3-1=3-1/4⁢F⁡(ϕ,k),