P
Initializing...
A rational bound from a linear constraint · Prove2Me