Cor 3.12ことMochizuki's Inequalityは、
TheoremではなくConjectureというのが
現状だと言わざるを得ませんね