Rolle's theorem is either false or trivial in infinite-dimensional Banach spaces

Daniel Azagra, Mar Jimenez-Sevilla

We prove the following new characterization of $C^p$ (Lipschitz) smoothness in Banach spaces. An infinite-dimensional Banach space $X$ has a $C^p$ smooth (Lipschitz) bump function…