Let $(X, \lVert \cdot \rVert_X)$, $(y, \lVert \cdot \rVert_Y)$ be two Banach spaces.

Function $P \colon X \to Y$ such that there exists $n \in \mathbb{N}$ such that for all $i \in \{ 0, \ldots, n \}$ we have an $i$-linear bounded map $T_i \colon X^i \to Y$ such that: \begin{equation} \forall x \in X \quad P(x) = \sum_{i=0}^n T_i( \underbrace{ x, \ \ldots, \ x}_{i \text{ times}}) \end{equation} will be called an $n$-th degree polynomial. Note that here we allow $T_0$ to take any constant value.

We will say that the function $f \colon U \to Y$, where $U \subseteq X$ is $n$-approximable at $x \in U$, if there exists an $n$-th degree polynomial $P$ such that : \begin{equation} \lVert f(y) - P(y) \rVert_Y \in \omicron( \rVert y-x \rVert_X^n) \end{equation}

Question:

Let us suppose that $f \colon U \to Y$, where $U \subseteq X$ is open, is $n$-approximable at every point of its domain. What can be said about its regularity?

For example, since $1$-approximability at some point is equivalent to being Frechet differentiable at that point, for $n=1$ we would get that $f \in D^1(U;Y)$ i.e., $f$ is differentiable at every point of its domain.

I would also be interested whether there are some result in more special cases, for example, when $X$ is finite-dimensional, or even when $X = \mathbb{R}$.