semeai, on 2011-July-01, 12:14, said:
Alternatively, you can just go to wikipedia:
p(16 hcp) = .0331
p(17 hcp) = .0236
p(18 hcp) = .0161
So 16 hcp is more than twice as likely as 18.
Of course, these numbers will change a bit for balanced hands instead of all hands, but presumably not too much.
Added: Impressively, Pavlicek gets it without simulating.
You need to factor in that one person (us) is already know to have a 7 point hand. This is what Hrothgar does above.