The only mistake I see in your analysis is you didn't consider encoding efficiency. Transmitted HDTV is encoded as an MPEG2 Transport Stream while Netflix and many others use MPEG4 because it offers higher efficiency. So while a 1080i program over the air uses 16M bits/sec the same quality could be broadcast via MPEG4 at something like 4-8M bits/sec.
