ln(2)とlog(7)の大小を比較せよ。