I am reading the proof of the following lemma:

Let be differentiable at . If , then is a decent direction for at .

I don't understand the first line of the proof, which states: because is differentiable at then

where

They define a decent direction as:

I don't understand what is exactly. Is it just the Fréchet derivative?