Arguments illustrating advantage of hyperreal definition over sequential one As is well known, fields of hyperreals $\mathbb R^*$ can be formed by
an ultrapower construction, as quotients of the space of sequences of
real numbers by a nonprincipal ultrafilter.  In fact, some arguments
using $\mathbb R^*$ can be reformulated using sequences.  For example,
the nonstandard definition of compactness of a set $S$ is that every
point of $S^*$ is nearstandard in $S$, i.e., infinitely close to a
point of $S$.  This is parallel to the fact that every sequence in $S$
has a subsequence converging to a point of $S$ (an equivalent characterisation of compactness).
Other arguments cannot be reformulated as easily.  For example, one
can prove that a function is continuous at a point $c$ if and only if
it is both right-continuous and left-continuous at $c$.  Namely, an
arbitrary infinitesimal $\epsilon\not=0$ is either positive or
negative.  If $\epsilon>0$ then right-continuity at $c$ implies that
$f(c+\epsilon)\approx0$, and if $\epsilon<0$ then left-continuity at
$c$ implies that $f(c+\epsilon)\approx0$, proving continuity
(according to Robinson's criterion of continuity).  If one tries to
find a parallel argument in terms of sequences, one can immediately
deal with, say, increasing or decreasing sequences in a similar
way, but continuity via sequences would require testing all
sequences converging to $c$, and therefore the nonstandard argument
does not translate as cleanly.
Question.  Are there other accessible arguments using hyperreals that
would illustrate the advantage of using nonstandard definitions as
compared to sequential ones?
 A: $
\newcommand\R{\mathbb R}
\newcommand\ext{{}^*}
$
I really like Heine-Borel.
Let $S \subset \mathbb R$. I will use near to mean infinitesimally close, call elements of $\R$ standard, and use nearstandard to mean that an element of $\ext\R$ is near some element of $\R$.

*

*$S$ is closed if every element of $\R$ near some element of $\ext S$ is actually in $x \in S$.

*$S$ is bounded of $\ext S$ has no infinite elements.

*$S$ is compact if every element of $\ext S$ is nearstandard to something in $S$. This is a direct generalization of finiteness since $S$ is finite iff every element of $\ext S$ is standard.

*An element of $\ext\R$ is finite iff it is nearstandard.

*If standard $x$ is nearstandard to $y$ then $x = y$.

Compact $\implies$ Closed+Bounded: Every element of $\ext S$ is nearstandard by compactness, so there are no infinite elements, so $S$ is bounded. If $x \in \R$ has some $y \in \ext S$ such that $x\approx y$, then by compactness there is a standard $y' \in S$ such that $x\approx y\approx y'$; but that means $x = y' \in S$, so $S$ is closed.
Closed+Bounded $\implies$ Compact: Let $x \in \ext S$. Since $S$ is bounded, $x$ is finite and so nearstandard to some $y$. By closure, $y \approx x$ means $y \in S$. Thus $S$ is compact.
