上值最小的函数为该区间标上号，这些区间所形成的序列就是一个 "s" 阶 达文波特-欣策尔序列。因此，"s" 阶 达文波特-欣策尔序列长度的上界也就是下包络线在这种表示方法中区间数目的上界。在和最初提出的应用当中，上述函数族就是某个 "s" 阶齐次线性微分方程的不同的解之集合。任意两个不同的解最多只能有 "s" 个相同的值，所以 "n" 个两两不同的解的下包络线就可形成一个 "DS"("n","s") 序列。下包络线的概念也可以应用于分段连续或仅在实数轴的某些区间上才有定义的函数族；但在这些情况下，计