const REGULAR_REACH: f64 = 0.5;
Largest leading-ratio size (ν₀ - μ)(ν₀ + μ + 1) t / (μ + 1) of a regular start series.
(ν₀ - μ)(ν₀ + μ + 1) t / (μ + 1)