Demonstration, with Cuisenaire rods, that 1, 2, 8, 9, and 12 are refactorable
A refactorable number or tau number is an integer n that is divisible by the count of its divisors, or to put it algebraically, n is such that with for . The first few refactorable numbers are listed in (sequence A033950 in the OEIS) as