P
Initializing...
Two-variable perturbation $\\prod(1-1/x)$ iff $w \\le x_2/x_1$ · Prove2Me