P

Initializing...

Lemma D.1: $\varphi(x)\ge\frac12$ for $x>0$ and $\varphi(x)\le\frac12$ for $-1<x<0$ · Prove2Me