おれ的には、最初から
定義、”Af(x) = max { |D^{-}f(x)|, |D^{+}f(x)|, |D_{-}f(x)|, |D_{+}f(x)| }”と、書いておけ!
ってことさ(^^