Nonstandard analysis and an application to the symmetric group on the natural numbers