P
Initializing...
Lemma 2, p. 18 — the minimal expected IC fee is (15), and x ∈ [q/(p+q), p/(p+q)] minimizes it · Prove2Me