And with typical main sequence stars lasting under 10 billion years

For mid to large size stars, yes. But Red dwarf stars are expected to live for trillions of years.