Definition:Complex Natural Logarithm