Where "inactive" is defined as "hasn't logged on in the past year".
Q&A about the site for artists and crafters
SELECT COUNT(Id) AS 'Total Users', SUM(CASE WHEN LastAccessDate <= '2020-1-1' THEN 1 ELSE 0 END) AS 'Total Inactive' FROM Users WHERE Reputation > 4000