1: \begin{abstract}

2: We consider Grenander type estimators for monotone functions $f$ in a very general setting, which includes

3: estimation of monotone regression curves, monotone densities, and monotone failure rates.

4: These estimators are defined as the left-hand slope of the least concave majorant~$\widehat{F}_n$ of

5: a naive estimator $F_n$ of the integrated curve $F$ corresponding to~$f$.

6: We prove that the supremum distance between $\widehat{F}_n$ and $F_n$ is of the order

7: $O_p(n^{-1}\log n)^{2/(4-\tau)}$,

8: for some $\tau\in[0,4)$ that characterizes the tail probabilities of an approximating process for $F_n$.

9: In typical examples, the approximating process is Gaussian and $\tau=1$, in which case the convergence rate is $n^{-2/3}(\log n)^{2/3}$

10: is in the same spirit as the one obtained by Kiefer and Wolfowitz~\cite{kiefer-wolfowitz1976} for the special

11: case of estimating a decreasing density.

12: We also obtain a similar result for the primitive of $F_n$, in which case $\tau=2$,  leading to

13: a faster rate $n^{-1}\log n$, also found by Wang and Woodfroofe~\cite{wang2007kiefer}.

14: As an application in our general setup, we show that a smoothed Grenander type estimator

15: and its derivative are asymptotically equivalent to the ordinary kernel estimator

16: and its derivative in first order.

17: \end{abstract}

18: