Re: [P-1788]: Opinion about infinity
On 2012-09-28 10:29:08 +0200, Vincent Lefevre wrote:
> Yes, for instance, to prove that some function f(x), made of library
> operations, is <= 17 for any x >= 0, a solution can just be to
^^^^^^^^^^ any real x >= 0
> evaluate f([0,+inf]). Then you may or may not have an answer, but
> if you have an answer, it is valid.
>
> Example: f(x) = sin(x) + cos(x).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)