Le néerlandais utilise un mot particulier pour « trouver une borne de la valeur absolue de (quelque chose) ».
Évidemment, pour tout nombre fini, il existe une borne qui est plus grande que la valeur absolue de ce nombre. Il s’agit ici de trouver une borne qui ne dépend que de certaines inconnues.
C’est un mot usité et très adroit si on essaie de fournir une preuve analytique, il se dit littéralement « déestimer » ou peut-être plutôt « abestimer ». Je n’ai jamais trouvé de mot français que je puisse utiliser en guise de traduction. J’espère que vous pourrez me donner un tel mot.
Il est pensable que ce mot ne puisse pas être traduit. Dans ce cas, je voudrais connaitre des tournures proches ou d'autres astuces pour exprimer « qu’on cherche un majorant de la valeur absolue ».
