it's more than a limit sometimes.. such as the sizes/cardinality of some sets.
oh.. by the way, with the bmp file, deducing a true statement from what you want to prove does not prove it..
as wogboy mentioned, you can't use inifinty as an ordinary number, it doesn't satisfy basic...