Lower bound for discrete-time H∞ control performance