ヴォイタ予想
F {\displaystyle F} の絶対値 S {\displaystyle S} の有限集合を固定し、 ε > 0 {\displaystyle \epsilon >0} とすると、上記の選択に依存しない定数 C {\displaystyle C} と空でないザリスキー開集合 U ⊆ X {\displaystyle U\subseteq X} が存在し、全ての P ∈ U ( F ) {\displaystyle P\in U(F)} に対し、
∑ v ∈ S λ D , v ( P ) + h K X ( P ) ≤ ε h H ( P ) + C {\displaystyle \sum _{v\in S}\lambda _{D,v}(P)+h_{K_{X}}(P)\leq \epsilon h_{H}(P)+C}
を満たす。