fn downward_unstable(n: f64, base: f64, radius: f64) -> bool
Whether the rounding error of the downward recurrence from base to n grows beyond RECURRENCE_GROWTH: the step to degree d amplifies it by max(1, |z|/|d|).
base
n
RECURRENCE_GROWTH
d
max(1, |z|/|d|)