WolframAlpha computational knowledge AI
lim exp(-|x|) sqrt(pi/(2x)) BesselI[1/2, x] as x -> 0+