A mathematical model for signal's energy at the output of an ideal DAC