Tuner Efficiency Proof