とりあえず IUT が正しいかどうかはおいといて、それ以前の研究でABCが成立する事が確認されてる最小のε>0は何かどなたかご存知ですか?