Tedium is not the disease of being bored because there's nothing to do, but the more serious disease of feeling that there's nothing worth doing. This means that the more there is to do, the more tedium one will feel.