I can prove the following fact: the infimum, or supremum, of any family of L-Lipschitz functions is L-Lipschitz, as long as the constant L is fixed.
However, since this is a very basic result, I am interested in a reference where it is proved.
Any suggestions?
N. Weaver, Lipschitz Algebras, 2018 (second edition), Proposition 1.32, p. 22.