Appendix: Towards Lower Bounds on the Depth of ReLU Neural Networks Christoph Hertrich, Amitabh Basu, Marco Di Summa, Martin Skutella A Detailed Proof of Proposition 1.3

Oct-2-2025, 16:22:43 GMT–Neural Information Processing Systems 

The fourth line is always satisfied in that case.