 Infinite field of positive characteristic from an ultraproduct

For a prime number $p$, a nonprincipal ultrafilter on $\mathbb{N}$ givesThe Łoś theorem makes $K$ a field of characteristic $p$. For every natural number $m$, almost all factors have at least $m$ elements, so $K$ is infinite.