>>216 まとめると

ショルツの指摘は
I am entirely unable to follow the logic after Figure 3.8 in the proof
of Corollary 3.12 of Inter-universal Teichmüller theory part III:
“If one interprets the above discussion in terms of the notation introduced
in the statement of Corollary 3.12,
one concludes that the quantity −|logΘ| is finite, and
moreover, that −|log q|≦−|logΘ| ∈ R. ”
というものだった

−|logΘ| の有限性については >>228 で説明が与えられてて
不等式が成立する理由に関しては >>224-227 で説明が与えられている
「 self-evident 」 の一言で片づけられてなどいない