P
Initializing...
Lemma 18 — an explicit solution of $c_1x\ge\log(c_2x^\alpha)$ · Prove2Me