"The CAG estimated the ‘presumptive loss’ by calculating the difference between the revenue actually generated and the revenue that would have been generated under four different hypothetical prices for spectrum. The assumptions underlying the estimates of these hypothetical prices are contestable. Moreover, in burrowing deeply into just the pricing issue, the CAG did not reckon with the significant recurring revenue the government would earn via larger spectrum charges consequent on the expansion of telecom."