integrate Ai(x)^2 from x = 0 to x = inf