Jack Brennen wrote: > Joerg Arndt wrote: >> >> However, determining the _largest_ number x such that is, say, >> B-smooth with P(x):=x^2+-1 is not possible: >> I'd like to see a proof that the set is even _finite_! >> > One more thing I found poking around... http://en.wikipedia.org/wiki/St%C3%B8rmer%27s_theorem