Yes, but the statement is most likely right in reality regardless. Per the chart it would be closer to 846k for the top end, but in practice most ppl use more than one address, so I would not be surprised if the # of whole coiners is less than 500k