Lemma 1: $(\bar\pi - \pi)\cdot v_{k(\pi)} \ge w(\bar\pi) - w(\pi) \ge 0$ · Prove2Me

P

Initializing...

Lemma 1: $(\bar\pi - \pi)\cdot v_{k(\pi)} \ge w(\bar\pi) - w(\pi) \ge 0$ · Prove2Me