**Proof.** See the Appendix A.2.

It is worth mentioning that the small enough constants can be selected by establishing an upper bound for *i*; this is feasible because the inductor has a saturation current.
