Weighted coverings with decreasing weights. A general statement of the

import math

import math