Cleanest method for measuring the reported speed of multiple computer fans?
Your math is wrong, as you might have seen for yourself if you had properly carried the units thru your calculations.  You have 20 k interrupts per minute, which is 333 per second, which can be easily handled by even a modest microcontroller.