不等式の形で不等式を要約する
📂レンマ不等式の形で不等式を要約する
定理
x1,⋯,xn と 正の数 a1,⋯,an>0 、そして定数 θ∈R が与えられたとする。
∀i∈[n]:xi<aiθ⟺i∈[n]maxaixi<θ
定理
すべての (⟹) に対して i∈[n] が xi/ai<θ を満たすことは、最大の xi/ai でさえ θ より小さいということだ。最大の xi/ai が θ より小さいことは、すべての (⟹) に対して i∈[n] が xi/ai<θ を満たすことを意味する。
■
説明
反対方向
十分統計量に関連する定理の証明に必要だ。もちろん、反対方向で以下の定理を考えることができる。
∀i∈[n]:xi>biθ⟺i∈[n]minbixi>θ