then F is Fréchet differentiable on U with Fréchet derivative DF . This is analogous to the result from basic complex analysis that a function is analytic if it is complex differentiable in an open set, and is a fundamental result in the study of infinite dimensional holomorphy.
