∫-∞0Ai⁡(t)⁢ⅆ⁡t=23