>>112
証明あるよ
読めや
たった10ページだよｗｗ

おれは読めないけどね
でも、遠アーベルの数学者で読めた人多数だよ

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
P173
Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects) Suppose
that we are in the situation of Theorem 3.11.
Write
　- |log(Θ)| ∈ R ∪ {+∞}

which we regard as subject to
the indeterminacies (Ind1), (Ind2), (Ind3) described in Theorem 3.11, (i), (ii).
Write
　- |log(q)| ∈ R

Then it holds that - |log(Θ)| ∈ R, and
　- |log(Θ)| ≧ -|log(q)|

P174
Proof. We begin by observing that, since |log(q)| > 0, we may assume without loss
of generality in the remainder of the proof that
　- |log(Θ)| < 0
略

P184
The inclusion - |log(q)| ∈ R ≦-|log(Θ)|, hence also the inequality
　- |log(q)| ≦ -|log(Θ)| ∈ R

P186
This indeterminacy has the effect of rendering meaningless any attempt to perform a precise log-volume computation as in (xi)
○QED
(引用終り)
以上