A law of the iterated logarithm for Grenander's estimator
{{output}}
In this note we prove the following law of the iterated logarithm for the Grenander estimator of a monotone decreasing density: If f(t0) > 0, f'(t0) < 0, and f' is continuous in a neighborhood of t0, then [Formula: see text]almost surely where [Formula: see te... ...
