With high probability (source code)

= With high probability
{wiki}

An event depending on $n$ holds with high probability when its probability tends to one as $n\to\infty$.