@TedShifrin if you consider the directional derivative for a moment, it matters not if you use $\Vert\cdot\Vert_\infty$ or $\Vert\cdot\Vert$ in the denominator, because these are equivalent norms, unless every first countable topological space is norm-able(?) (if it's metricisable, this isn't that big of a jump)