>>368
>ここでは、最初は、 log無しで導入されている
1<x<yのとき0<log(x)<log(y)だから、不等式はどっちも成立するわけですね。
つまり多項式の場合、max{deg(a),deg(b),deg(c)}<deg(rad(abc))
という不等式があるわけですが、これからその整数類似が
c<rad(abc)なのかlog(c)<log(rad(abc)) なのかを問うてもナンセンスでした。m(__)m
実際には正確には不等式は成立せず
c<rad(abc)^(1+ε)またはlog(c)<(1+ε)log(rad(abc)) （有限個の反例を許す）
となりますが、これでも。
https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3
では quality という量が導入されていて、logを取って比較するものだというのが念頭にありましたね…。