US Census Bureau data for Austin and other cities

[urbancore]

If you could snap your fingers and all of Austin "proper" was built out to the maximum allowed by zoning/drs/setbacks, etc. What do you all estimate the population would be? In other words, what is Austin's ceiling for population?

I don't see annexation in our future.
I don't think zoning changes will bring a significant number of units/people into the city as we've seen in the past.
I don't see 100k people living in 78701 in my lifetime.

I think we will continue to see infill buildings torn down and replaced with relatively small residential projects.

That said, I would guess our population effectively tops out around 1.3 in 50 years. I literally just pulled that out of thin air, and I'm curious to see what you all think, or if someone knows of a study that has put some thought behind this.