Page "Payne–Rayner inequality" not found :(