If everyone in the world could afford an iPhone 12, that would be a net gain dwarfing anything we'd get from a Martian colony. It would also imply a world econ

If everyone in the world could afford an iPhone 12, that would be a net gain dwarfing anything we'd get from a Martian colony. It would also imply a world economy that could easily support the development of such a colony. It's not an either/or.