So I wanted to find the probability (or, at least the magnitude of the probability), of something more than 70.5 standard deviations below the mean in a normal distribution. (It's nothing practical, it's just for a joke with my friends). However, there's no calculators I can find that have enough precision to calculate
$\frac{1}{2}\left[1 + \text{erf}\left(\frac{-70.5}{\sqrt{2}}\right)\right] $ or $\frac{1}{\sqrt{2\pi}} \int_{-\infty}^{-70.5} e^{-\frac{t^2}{2}} dt\ $
The PDF can be found with some high precision calculators, and that's around $10^{-1080} $, but are there any ways to approximate the CDF? Like somehow taking log or something to find the approximate value? Or is $10^{-1080} $ also a close estimate to the CDF?