Right, but I'm hoping it might be possible to prove that the limit exists (even if it's an uncomputable number), as opposed to some oscillating behaviour where the density infinitely often goes up to 70% and then back down to 30% for example.