Prefer a chat interface with context about you and your work?
Differentiable functions with bounded nonempty support on Banach spaces