← 2. Banach spaces