Is there a computable and widely known set X⊆N whose infiniteness remains conjectured and unproven, although a constructively defined integer n satisfies ω>card(X) ⇒ X⊆(-∞,n]?
HAL (Le Centre pour la Communication Scientifique Directe)