Lower envelope

In computational geometry, the term "lower envelope" refers to a specific type of geometric construct. It typically involves a collection of functions (such as linear functions represented by lines or curves) plotted in a coordinate system, and the lower envelope is the pointwise minimum of these functions across their domain. More formally, if you have a set of functions \( f_1(x), f_2(x), ...