Be7W5f

Written on June 24, 2019 
\[
\forall x \ge 0$, $x\div 2 \in [0,+\infty[
\]