Изменения

<tex> \exists forall \varepsilon > 0 \exists \lambda_1, \lambda_2: p_M(x) < \lambda_1 < p_M(x) + \varepsilon </tex>, <tex> p_M(y) < \lambda_2 < p_M(y) + \varepsilon </tex>, <tex> x \in \lambda_1 M, y \in \lambda_2 M \Rightarrow {x \over \lambda_1}, {y \over \lambda_2} \in M </tex>. Рассмотрим <tex> \alpha = {\lambda_1 \over \lambda_1 + \lambda_2}, \beta = {\lambda_2 \over \lambda_1 + \lambda_2} </tex>, заметим, что <tex> \alpha + \beta = 1 </tex>, из выпуклости получим, что <tex> \alpha {x \over \lambda_1} + \beta {y \over \lambda_2} \in M \Rightarrow {x + y \over \lambda_1 + \lambda_2} \in M \Rightarrow x + y \in (\lambda_1 + \lambda_2) M </tex>, то есть <tex> p_M(x + y) < \lambda_1 + \lambda_2 < (p_M(x) + p_M(y) + 2 \varepsilon </tex>, сделав предельный переход, получим <tex> p_M(x + y) \le p_M(x) + p_M(y) </tex>.