P

Initializing...

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