This video introduces Euler’s \(\phi\) function, defined by

\[\phi(m) = |U_m| = \# \{0\leq j\leq m \ \mid \ \gcd(j,m) = 1 \}.\]