Prove that the following program always terminates for any positive integer

sub doIterminate($count) {

$num = int($count);
   while($num != 1) {
      if(($num%2) == 0) {
         $num = $num/2;
      } else {
         $num = 3 * $num + 1;
      }
   }

}