By definition it is:
It can be proved that the following forms are equivalent to the former:
where represents a multiplicative function, the number of positive divisors of the number .
Paul Erdős showed that the constant E is an irrational number.