Mit Differenzierbarkeit ist totale Differenzierbarkeit gemeint. Es soll eine Darstellung f(h,k)=f(0,0)+ah+bk+o(∥(h,k)∥) mit geigneten Zahlen a,b existieren. Es ist dann gradf(0,0)=(a,b). Im Beispiel kann man die Ahnung a=b=0 haben, was zusammen mit f(0,0)=0 aequivalent zu f(h,k)=o(∥(h,k)∥) ist. Das kann man in der Tat leicht nachrechnen.