$\sigma_1(x)$ denota la suma del divisor positivo del entero $x$ . $\sigma_1(x)=\sum_{d\mid x}d$ .
Para un número entero positivo $x=\prod_{i=1}^k p_i^{\alpha_i}$ tenemos $\sigma_1(x)=\prod_{i=1}^k\dfrac{p_i^{\alpha_{i}+1}-1}{p_i-1}$ . Por lo tanto, me planteé enumerar todas las posibles $\dfrac{p_i^{\alpha_{i}+1}-1}{p_i-1}$ que puede dividir exactamente $n$ . Escribí un programa que calcula $F(n,p_i)$ - el número de $x$ cuyo factor primo mínimo es superior a $p_i$ - mediante recursión, y funciona bien cuando $n\le 10^{12}$ . Sin embargo, no me aporta más conocimientos sobre mi problema, y tampoco puedo averiguar su complejidad temporal.
Parece que la respuesta es menos que $\sqrt{n}$ pero no tengo ni idea para demostrarlo. ¿Alguien sabe si es cierto o no? ¿O existe algún algoritmo eficiente para este problema?
Editar
Lo explicaré más claramente: ahora quiero deicir si el número de soluciones es menor que $\sqrt{n}$ (o tal vez $O(\sqrt{n})$ ). Creo que es cierto, pero no puedo dar una prueba.