>>227
書いたほうがいいよな。
たぶんで、対数の定義からに含まれているんじゃないの。