I've figured out that I'd want about $2.5M in unencumbered property assets outside my own home for my own retirement.
This would deliver an income of at least $100k. You could do it on less via the share markets, but that's also more volatile in both capital gains (which is not a concern)...