[math-fun] entropy vs Lyapunov exponent