結果 : basic properties of logarithmic functions