Divisor probabilities and the inverse `1 / (1 - returnWeight c)` are positive at `q ≥ 2`.

Initializing...

Divisor probabilities and the inverse `1 / (1 - returnWeight c)` are positive at `q ≥ 2`. · Prove2Me