birkhoffs inequality