Wiktionary
underapproximate
vb. (context transitive English) To form an underapproximation of.