Page "Katz–Sabourau inequality" not found :(