Definition:Happy Number

Definition
Let $n \in \Z_{>0}$ be a positive integer.

Square the digits of $n$ and add the results.

Repeat.

If this process eventually reaches $1$, then $n$ is a happy number.