Entropy of physical measures for $C^{\infty }$ smooth systems

Abstract

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$.

Appendix B added