Page "Katok's entropy inequality" not found :(