∫x∞Ai⁡(t)⁢ⅆ⁡t∼12⁢π-1/2⁢x-3/4⁢exp⁡(-23⁢x3/2),