AsymptoticProbability

AsymptoticProbability[pred, x \[Distributed] dist, a -> a0] computes an asymptotic approximation for the probability of pred centered at a0, under the assumption that x follows the probability distribution dist.

AsymptoticProbability[pred, vars, {a, a0, n}] computes the asymptotic probability to order n.

Examples

Asymptotic probability:

AsymptoticProbability[x > 0, x \[Distributed] NormalDistribution[a, 1], 
  a -> Infinity]

Please visit the official Wolfram Language Reference for more details.