Sylvester Inequality

设$A\in F^{m\times s},B\in F^{s\times n}$则

$$\mathrm{rank}(A)+\mathrm{rank}(B)-s\le \mathrm{rank}(AB)\le \min \{\mathrm{rank}(A),\mathrm{rank}(B)\}$$