Logarithm is Strictly Increasing and Strictly Concave/Corollary