It is not immediately obvious that such an inverse to ez will necessarily exist. However, it turns out in fact that, for any complex number w, apart from 0, there always does exist z such that w = ez, so we can define log w = z. But there is a catch here: there is more than one answer.
