Summarizing Inequalities in the Form of an Inequality
📂LemmasSummarizing Inequalities in the Form of an Inequality
Theorem
Given positive numbers x1,⋯,xn and a1,⋯,an>0, and constant θ∈R.
∀i∈[n]:xi<aiθ⟺i∈[n]maxaixi<θ
Theorem
For all (⟹), that i∈[n] satisfies xi/ai<θ implies that even the greatest xi/ai is less than θ. That the greatest xi/ai is less than θ implies that i∈[n] satisfies xi/ai<θ for all (⟹).
■
Explanation
In the Opposite Direction
Necessary for the proof of the theorem related to Sufficient Statistics. Naturally, the following theorem can be considered in the opposite direction.
∀i∈[n]:xi>biθ⟺i∈[n]minbixi>θ