Pythonized Lemma 2

Lemma

• With $a<b$

$$a<[\frac{a+b}{2}]<b$$