I didn't wrote this... well, $P_f$ is the set of all the possible periods of $f$