The tau function, denoted by $t(n)$, counts the number of positive divisors of a positive integer $n$. In other words, $t(n) = \sum_{d|n} 1$.
Now, let's prove each direction of the statement.
1) If $t(n)$ is odd, then $n$ is a square.
Suppose $t(n)$ is odd.
Show more…