Wiktionary
underapproximation
n. An approximation that is lower than the true value.
n. An approximation that is lower than the true value.