The ratio $\alpha_i(x)/\beta_i(x)$ is at most $\sqrt{\mathrm{card}(J_i)}/\Omega$, and this is attained (corrected)

Initializing...

The ratio $\alpha_i(x)/\beta_i(x)$ is at most $\sqrt{\mathrm{card}(J_i)}/\Omega$, and this is attained (corrected) · Prove2Me