Frobenius inequality states that $\operatorname{rank} AB + \operatorname{rank} BC \leq \operatorname{rank} ABC + \operatorname{rank} B$ whenever this has a meaning. I remember being told that this was sometimes useful. Do you know of any example?
Thank you.