Itô-Föllmer Calculus in Banach Spaces I: The Itô Formula - Yuki Hirai (2021)