3 ms·

We're not even close to the problem of not having any work to do. Let's limit the work week to 4 days, or give one week off every 5.