Andrea Zanni, 09/12/2013 12:40:
I think there is only one (paid) user working on the site right now. That's my definition of inactive :-)
I exhibit a counterexample: https://openlibrary.org/recentchanges shows at least 2 users editing in the last hour. Your lemma is disproven. ;-)
Nemo