Agmon's inequality

GPTKB entity