Source: https://webusers.imj-prg.fr/~christian.blanchet/enseignement/2007-8_S1/ch7_banach.pdf