TeX source:
\sup_A(\lambda_1f_1+\lambda_2f_2)=\lambda_1\sup_A(f_1)+\lambda_2\sup_A(f_2)