Gellert–Kästner inequality

GPTKB entity