Обозначим \( p_i = P(H_i) \), \( q_i = P(A \mid H_i) \), \( m = \min q_i \), \( M = \max q_i \). События \( H_i \) образуют полную группу, поэтому \( p_1 + p_2 + \ldots + p_n = 1 \) и все \( p_i \ge 0 \).
Так как \( q_i \ge m \) для каждого \( i \), то \( P(A) = p_1 q_1 + \ldots + p_n q_n \ge p_1 m + \ldots + p_n m = m(p_1 + \ldots + p_n) = m \). Аналогично из \( q_i \le M \) следует \( P(A) \le M(p_1 + \ldots + p_n) = M \).
Итак, \( m \le P(A) \le M \), что и требовалось доказать. По сути \( P(A) \) — среднее арифметическое условных вероятностей с весами \( p_i \), а взвешенное среднее не может выйти за пределы усредняемых чисел.