  For a $C^\infty$ map on a compact manifold we prove that for a Lebesgue
randomly picked point x there is an empirical measure from $x$ with entropy
larger than or equal to the sum of positive Lyapunov exponents at $x$.
