[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Regarding floor and ceiling of reals



Hi--

Lets assume I have a real number x > 1 and x < 2

Now I would assume that 2^-52*ceiling(x*2^52) would be less than or equal to 
2

Now if this is true (and i think it is), why am I finding it difficult to 
prove this as a lemma? Grind just expands "^"

rgds
-Nikhil

---
http://engr.smu.edu/~nikhil