AsymptoticProbability[pred, x \[Distributed] dist, a -> a0]
AsymptoticProbability[pred, {x1, x2, …}\[Distributed] dist, a -> a0]
AsymptoticProbability[pred, vars, {a, a0, n}]
- Assumptions — default $Assumptions
- GenerateConditions — default Automatic
- Method — default Automatic
- PerformanceGoal — default $PerformanceGoal
- SeriesTermGoal — default Automatic