Define an "eventual counterexample" to be


* $P(a) = T $ for $a < n$
* $P(n) = F$
* $n$ is sufficiently large for $P(a) = T\ \ \forall a \in \mathbb{N}$ to be a 'reasonable' conjecture to make.


where 'reasonable' is open to interpretation, and similar statements for rational, real, or more abstractly ordered sets for $n$ to belong to are acceptable answers.


What are some examples of eventual counterexamples, famous or otherwise, and do different eventual counterexamples share any common features? Could we build an 'early warning system' set of heuristics for seemingly plausible theorems?


edit: The Polya conjecture is a good example of what I was trying to get at, but answers are not restricted to number theory or any one area.



Examples of eventual counterexamples
It was once conjectured that factors of $x^n-1$ over the rationals had no coefficient exceeding 1 in absolute value. The first counterexample comes at $n=105$. 


