Energy inequality

From the change wiki