P
Initializing...
{l1 l2 p : ℝ} (hl1 : 0 < l1) (hl : l1 < l2) (hp : 0 < p) : 1 < (l2 / l1) ^ p · Prove2Me