If the serial numbers are randomly distributed in some finite span, and you have the serial number of three tanks, say:
a: 000001
b: 000101
c: 100000
What is the probability that c is not the highest serial number and that there are 1000 total tanks.How many tank serial numbers would we need before those probabilities get > 90%, > 95%?
Someone else can do the proof, but I'm pretty sure the total number of tanks is inversely proportional to the smallest difference between two observed HMACs (or between the highest observed HMAC and the highest possible HMAC).
EDIT: Actually, scratch that. That only works if you see all the tanks...