Exercise 8, § 2

Let $C$ be a commutative ring and $E, F$ two $C$-modules. Show that $\lambda(E \otimes_C F) \geqslant \inf(\lambda(E), \lambda(F))$.