Proving the infinite