Page "Harker–Kasper inequality" not found :(