Corollary
25
[20M](Proposed on 2022-11-24) Having fixed \(Aββ\) not empty, then \(\inf A\) is the only number \(πΌβββͺ\{ -β\} \) which satisfies these two properties
\begin{eqnarray*} β xβ A,xβ₯ πΌ \\ β h{\gt}πΌ, β xβ A,x{\lt}h \end{eqnarray*}