With 250 M users in the US, we’d reach 401 bn, vs 403 bn which were their worldwide revenues in 2025.

I think you mistook the example of removing a single group as a tally of what number to use instead. The final number should be significantly less than the 250,000,000 who aren't children.