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
They define a decent direction as:
I don't understand what is exactly. Is it just the Fréchet derivative?