\geq  \left( (\sum_{j \in {\mathcal J}_0} + 0 \sum_{j \in {\mathcal J}_0}) c_j \lambda_{f_{0,j}}(n+h_0) \dots \lambda_{f_{k,j}}(n+h_k) \right) \left( \sum_{j' \in {\mathcal J}_0} c_{j'} \lambda_{f_{0,j'}}(n+h_0) \dots \lambda_{f_{k