For any property $Q(m)$ with eventual counterexamples, the property $P(n)=$ "property $Q$ holds up to $n$" admits a largest instance. 

Conversely, for any property $P(n)$ with a largest instance, the property $Q(m)=$ "property $P$ holds somewhere above $n$" admits eventual counterexamples.