The Real Logarithm: Theorems and Counterexamples