The four derivates of a function f(x) are defined as follows.

The upper right derivate \(\displaystyle f^{+}(x) = \limsup_{h \rightarrow 0^{+}} \frac{f(x+h)-f(x)}{h}\) |
The lower right derivate \(\displaystyle f_{+}(x) = \liminf_{h \rightarrow 0^{+}} \frac{f(x+h)-f(x)}{h}\) |

The upper left derivate \(\displaystyle f^{-}(x) = \limsup_{h \rightarrow 0^{+}} \frac{f(x)-f(x-h)}{h}\) |
The lower left derivate \(\displaystyle f_{-}(x) = \liminf_{h \rightarrow 0^{+}} \frac{f(x)-f(x-h)}{h}\) |

Infinite values (positive or negative) are possible. A finite derivative exists at every point *x* where the four derived numbers have the same finite value.

In a paper in 1908 in the Proceedings of the London Mathematics Society, William Young proved that if f is a continuous function, then f^{+}(x) = f^{–}(x) and f_{–}(x) = f_{+}(x) everywhere except at a set of points of the first category.

Grace Young's 1914 Acta Mathematica paper [Abstract] contains the result that for an arbitrary function f, f^{+}(x) ≥ f_{–}(x) and f^{–}(x) ≥ f_{+}(x) everywhere except at a countable set of points.

Further results appeared in her 1916 Gamble Prize paper in the Quarterly Journal. At the same time, Arnaud Denjoy was studying the same problem in France. Both independently established the following theorem for continuous functions. In a 1916 paper in the London Mathematical Society Proceedings [Abstract], Young proved it for measurable functions. Stanislaw Saks eventually removed the measurability assumption in 1924.

Denjoy-Young-Saks Theorem: Except at a set of measure 0, the derivates of an arbitrary function f(x) at any point x belong to one of the following three cases. Either

- all four derivates are equal and the function is differentiable at x, or

- the upper derivates on each side of x are +∞ and the lower derivates on each side are –∞, i.e.

f^{–}(x) = f^{+}(x) = +∞ and f_{–}(x) = f_{+}(x) = –∞, or

- the upper derivate on one side is +∞, the lower derivate on the other side is –∞ and the two remaining extreme derivates are finite and equal, i.e.

f^{+}(x) = f_{–}(x) are finite, f^{–}(x) = +∞, f_{+}(x) = –∞, or

f^{–}(x) = f_{+}(x) are finite, f^{+}(x) = +∞, f_{–}(x) = –∞.

- Young, William. "Oscillating successions of continuous functions," Proceedings of the London Mathematical Society, Series 2, Vol. 6 (1908), 298-320.
- Young, Grace. "A note on derivates and differential coefficients," Acta Mathematica, Vol.. 37 (1914), 141-154. [Abstract]
- Young, Grace. "On infinite derivates," Quarterly Journal of Pure and Applied Mathematics, Vol. 47 (1916), 127-175. [Abstract]
- Young, Grace. "On the derivates of a function," Proceedings of the London Mathematical Society, Series 2, Vol. 15 (1916), 360-384. [Abstract]
- Denjoy, A. "Mémoire sur les nombres dérivés des fonctions continues," J. Math. Pures et Appl., Sér. 7, Vol. 1 (1915), 105-240.
- Bruckner, Andrew and Brian Thomson. "Real Variable Contributions of G. C. Young and W. H. Young," Expositiones Mathematicae, Vol. 19 (2001), 337-358.
- Riesz, Frigyes and Béla Sz.-Nagy.
*Functional Analysis*, Frederick Ungar Publishing, 1955, 17-19. - Stanislaw Saks.
*Theory of the Integral*, Dover Publications. [English translation by L. C. Young (William and Grace Young's son).]