A table for the lower boundary of the region of useful redundancy for k-out-of-n systems