It's over $1 billion.
With regard to the spectrum auction, there has been actually over $10 billion collected over a decade for that. Do you know how much has been invested from that money, or has it gone to the general treasury?
On May 28th, 2019. See this statement in context.