Bất đẳng thức Agmon