How to Prove that the Natural Logarithm is an Onto Function