Definition

The principal logarithm is the function is defined by

For

We get .