To complete this discussion, we provide here an alternative proof for [1]} that makes clear it is valid even if the decision set is not bounded. We note that this is presented in terms of the primal variables and functions \(\lbrace f_t(x_t)\rbrace \)  to streamline the presentation, but the application to the dual variables and dual updates is straightforward.
