単純に任意の二次無理数の自然対数が1にならない事なら証明できそうな気がする