第1問 [ 2 ] 対数関数 背理法