>>606
ttps://ncatlab.org/nlab/show/Mochizuki%27s+corollary+3.12
ここで望月不等式って呼ばれてた