Proving $\displaystyle rang(AB) \le \inf(rang(A),rang(B))$ Supposing $\displaystyle A\in \mathbb{M}_{np}(\mathbb{R})$ and $B\in\mathbb{M}_{pq}(\mathbb{R})$: How can prove that: $\displaystyle rang(AB) \le \inf(rang(A),rang(B))$

The idea is to note that if $V$ is any subspace of $\mathbb{R}^p$, then the dimension of $W=\\{Av:v\in V\\}$ is at most $\dim(V)$. This follows from applying the Rank-Nullity Theorem to the restricted linear transformation $T:V\rightarrow\mathbb{R}^n$, $T(v)=Av$. Setting $V=range(B)$ and noting that $range(AB)$ then equals $W$, we get $rank(AB)\leq rank(B)$.

Since $range(AB)$ is a subspace of $range(A)$, we also have that $rank(AB)\leq rank(A)$.

Our findings give $rank(AB)\leq min(rank(A),rank(B))$.