Predikatový počet

Dobrý den, 

jestli to chcete pomocí kvantifikátorů a matematického zápisu, tak bych popsal funkce neomezenou shora tak, že bych si vypsal definici shora omezené funkce a znegoval ji. Shora omezená je:

\(\exists A \in \mathbb{R}:\forall x \in \mathbb{R} :f(x) < A\)

a opakem tedy bude:

\(\forall A \in \mathbb{R}:\exists x \in \mathbb{R} :e^x \geq A\)