It is (I assume that this easy fact is well-known) obvious that an integer $n>1$ is a power of two $n=2^{\alpha}$, where $\alpha\geq 1$ is integer, if an only if $n$ satisfies the divisibility relationship $$(\text{rad}(n)\cdot\varphi(n))\mid n\tag{1}$$ where $\text{rad}(n)=\prod_{p\mid n}p$ denotes the product of distinct prime numbers dividing $n$ and $\varphi(n)$ is the Euler's totient function.

(A draft of the proof is that for integers $n>1$ one can to write $\text{rad}(n)\varphi(n)=n\prod_{p\mid n}(p-1)$ thus our integer $n$ satistying $(1)$ has $\omega(n)=1$ distinct prime factor in its factorization, this arithmetic function $\omega(x)$ counts the number of distinct prime factors, and one has $p-1=1$ implies thus that our integer has the form $n=2^{\alpha}$, where $\alpha\geq 1$ is integer.)

**Remarks.** A) One knows that the following series is convergent $\sum_{n=1}^\infty\frac{1}{2^n}$, thus the sum of the reciprocals of the solutions of $(1)$ is convergent (really $n=1$ also will be a solution and thus the previous series has value $2$ when we consider that $1$ also is a power of two $1=2^{0}$ and solution of $(1)$). B) We notice that the Euler's totient function is a counting function, because counts the positive integers $k$ up to $n$ that satisfy $(n,k)=1$.

This week I've known the nice article [1] in which were studied problems concerning the known as *tau numbers* (see introductory section of [1], this journal is a free access electronic journal, in the first paragraph the author recalls the definition, or see the linked Wikipedia). From the definition of tau numbers, (look at if you want the Wikipedia *Refactorable number*) I was inspired to define the following variation of tau numbers, or if you prefer a variation of the divisibility relationship $(1)$ since $\tau(n)=\sigma_0(n)=\sum_{1\leq d\mid n}1$ also is a counting function.

**Definition.** For integers $n>1$, I say that $n$ is a *rad-refactorable number* if and only if satisfies $$(\text{rad}(n)\cdot\tau(n))\mid n,\tag{2}$$
where $\tau(n)$ denotes the number-of-divisors function.

The first few terms of this sequence are the following where I've considered thus add $n=1$ as a solution $(2)$

$$a_1=1, a_2=8,a_3=9,a_4=72,a_5=128, a_6=384,a_7=625,\ldots$$

Thus we've redefined the solutions as those positive integers $n\geq 1$ satisfying $(2)$ with the purpose to include $a_1=1$ as a legitimate rad-refactorable number.

Question.Can you to prove or refute that $$\sum_{\substack{\text{positive integers } a_m\\ \text{that are rad-refactorable}}}\frac{1}{a_m}$$ is convergent?Many thanks.

I've computed more terms of the sequence, my thought is that isn't easy to bound the terms $\frac{1}{a_m}$ using a geometric series, and I don't know if there are infinitely many rad-refactorable numbers.

## References:

[1] Joshua Zelinsky, *Tau Numbers: A Partial Proof of a Conjecture and Other Results*, Journal of Integer Sequences, Vol. 5 (2002), Article 02.2.8.