P
Initializing...
A positive affine intercept forces power-of-two contraction from mere nonincrease · Prove2Me