Efficiency closed-form expressions for any IR-HARQ scheme at the IP level,