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