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