The limit distribution of the concave majorant of an empirical distribution function

The limit distribution of the difference between the empirical distribution and its least concave majorant at a fixed point is derived.