Dynamic power control in a fading downlink channel subject to an energy constraint