Skorzystamy najpierw z faktu, iż liczby postaci \(\mathrm{e}^{\mathrm{i}\vartheta}\) dla dowolnej liczby rzeczywistej \(\vartheta\) leżą na okręgu jednostkowym, czyli ich moduł to \(1\).
Mamy
\(\displaystyle{ z^{3} + \mathrm{i} = x^{3} - 3xy^{2} + \left(3x^{2}y - y^{3} + 1\right)\mathrm{i},}\)
czyli
\(\displaystyle{ \left\lvert\mathrm{e}^{z^{3} + \mathrm{i}}\right\rvert = \mathrm{e}^{x^{3} - 3xy^{2}}.}\)
Podobnie
\(\displaystyle{ -\mathrm{i}z^{2} = 2xy + \left(y^{2} - x^{2}\right)\mathrm{i},}\)
czyli
\(\displaystyle{ \left\lvert\mathrm{e}^{-\mathrm{i}z^{2}}\right\rvert = \mathrm{e}^{2xy}.}\)
Wreszcie,
nierówność trójkąta mówi, iż \(\lvert a + b\rvert \leqslant \lvert a\rvert + \lvert b \rvert\) dla dowolnych liczb zespolonych \(a\) i \(b\), co daje
\(\displaystyle{
\left\lvert\mathrm{e}^{z^{3} + \mathrm{i}} + \mathrm{e}^{-\mathrm{i}z^{2}}\right\rvert
\leqslant \mathrm{e}^{x^{3} - 3xy^{2}} + \mathrm{e}^{2xy}.
}\)