Agmon's inequality