logo

Summarizing Inequalities in the Form of an Inequality 📂Lemmas

Summarizing Inequalities in the Form of an Inequality

Theorem

Given positive numbers x1,,xnx_{1} , \cdots , x_{n} and a1,,an>0a_{1} , \cdots , a_{n} > 0, and constant θR\theta \in \mathbb{R}. i[n]:xi<aiθ    maxi[n]xiai<θ \forall i \in [n] : x_{i} < a_{i} \theta \iff \max_{i \in [n]} {{ x_{i} } \over { a_{i} }} < \theta

Theorem

For all (    )(\implies), that i[n]i \in [n] satisfies xi/ai<θx_{i} / a_{i} < \theta implies that even the greatest xi/aix_{i} / a_{i} is less than θ\theta. That the greatest xi/aix_{i} / a_{i} is less than θ\theta implies that i[n]i \in [n] satisfies xi/ai<θx_{i} / a_{i} < \theta for all (    )(\implies).

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θ    mini[n]xibi>θ \forall i \in [n] : x_{i} > b_{i} \theta \iff \min_{i \in [n]} {{ x_{i} } \over { b_{i} }} > \theta