∫0∞Ci⁡(t)⁢si⁡(t)⁢ⅆ⁡t=ln⁡2.