(21) — one-step comparison $k^{-s_*}\sum_{a\text{ live}}f(\mathrm{pot}(wa))\le af(d-1)+bf(d+1)$

Initializing...

(21) — one-step comparison $k^{-s_*}\sum_{a\text{ live}}f(\mathrm{pot}(wa))\le af(d-1)+bf(d+1)$ · Prove2Me