Example: A finite certificate cannot establish a limit

Fix any finite set of system sizes. Two sequences of continuous functions can agree at every one of those sizes, while one converges and the other alternates forever between the constant functions zero and one at later sizes. Thus even an exact finite certificate cannot logically verify a claimed limiting law without additional uniform estimates.