$\newcommand{le}{\leqslant}\newcommand{ge}{\geqslant}$