That's fewer than us

The hardest-hitting envelope math I've done