Page "McKean’s inequality" not found :(