L.S. Penrose's limit theorem : proof of some special cases

LS Penrose was the first to propose a measure of voting power (which later came to be known as ‘the [absolute] Banzhaf index’). His limit theorem – which is implicit in Penrose (1952) and for which he gave no rigorous proof – says that, in simple weighted voting games, if the number of voters increases indefinitely while the quota is pegged at half the total weight, then – under certain conditions – the ratio between the voting powers (as measured by him) of any two voters converges to the ratio between their weights. We conjecture that the theorem holds, under rather general conditions, for large classes of variously defined weighted voting games, other values of the quota, and other measures of voting power. We provide proofs for some special cases.