Agent - yeah, I understood your formula.
My issue was your comment that the credit would "likely be less than one cent". If the pack is $10, and one channel out of that pack is missing for 30 days, yet the credit for that _one_ channel not being there for a full month is _less_ than one cent, then:
$0.01 > $10/x
Where x is the number of channels in the pack (we're talking about the HD pack here). I took out the divided by 30 part because we're talking about the loss of the channel for the full 30 days (so we'd be dividing by 30 and then multiplying by 30 again).
So, from the above we get:
100 < x/10 (inverting both sides, thus greater than becomes less than)
and therefore
x > 1000
Therefore by _your_ logic, since the credit is "less than one cent", ExpressVu must have more than 1000 HD channels.
Either that or the credit is much greater than one cent.