Archive:000/Energy inequality