Corollary: (Real) Exponential Function Is Always Positive

(related to Corollary: Reciprocity of Exponential Function, Non-Zero Property)

The (real) exponential function produces only positive values: \[\exp(x) > 0\text{ for all } x\in\mathbb R.\]

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983