Noun
underapproximation (plural underapproximations) An approximation that is lower than the true value.