PROOF 127
Prove.
The exponential function is always positive
On the positive reals.
Definition D1
Set a¹ = a, and for a natural number n define aⁿ⁺¹ = aⁿ · a.
Proof.
Related labs
PROOF 127
The exponential function is always positive
On the positive reals.
Definition D1
Set a¹ = a, and for a natural number n define aⁿ⁺¹ = aⁿ · a.
Proof.
Related labs