Выпуклость точности сохранения запутанности

Пусть $\rho_{1},\rho_{2} \in\mathcal{D}(\mathcal{H})$ и пусть $\mathcal{N}:\mathcal{L}(\mathcal{H}) \to \mathcal{L}(\mathcal{H})$ — квантовый канал. Зафиксируем $\lambda\in[0,1]$. Покажите, что точность сохранения запутанности выпукла по входному состоянию:

$$ F_{e}( \lambda\rho_{1}+\left( 1-\lambda\right) \rho_{2},\mathcal{N}) \leq\lambda F_{e}( \rho_{1},\mathcal{N}) +\left( 1-\lambda\right) F_{e}( \rho_{2},\mathcal{N}) . $$

(Подсказка. Здесь пригодится выражение для точности сохранения запутанности через операторы Крауса.)