I think its important to qualify “users” in this case. Technically, its 250 subscriptions, whether or not theres a one to one mapping between subscription and user depends on the use case, although for a an app where each user requires their own unique stream, this is likely the case.