Noun
overapproximation (plural overapproximations) An approximation that is higher than the true value.