[ben_w]

That is an additional problem, but does not contradict what you replied to.

N_dissatisfied > max(0, N_for_sale - N_individuals_and_couples_buying)

When N_for_sale > N_individuals_and_couples_buying, it is still possible for N_dissatisfied to be > 0 for the reason you give. But N_dissatisfied must be > 0 whenever N_for_sale < N_individuals_and_couples_buying, even if everyone is limited to having at most one.

[brailsafe]

Agreed, but I wasn't disagreeing with their whole sentiment, just their assertion that the GP was obviously correct, namely that it doesn't matter how many homes people can buy.

Less supply couldn't possibly be helpful for those disappointed, but also there's less supply than there would be if access to it as a commodity was limited, supposing that all other artificial restrictions and funding models could rely on less concentrated investments, which I think they could