P

Initializing...

The $\lambda \to 1^-$ step: from constant $H(\lambda)$ to constant $2/3$ · Prove2Me