MathLabs

Problem 2

Find all integers nn satisfying n≥2n\ge2 and σ(n)p(n)−1=n,\frac{\sigma(n)}{p(n)-1}=n, in which σ(n)\sigma(n) denotes the sum of all positive divisors of nn, and p(n)p(n) denotes the largest prime divisor of nn.
Step 1 of 3: Upper bound on p_k in terms of the number of prime factors k
pk−1=σ(n)n=∏i=1k(1+1pi+⋯+1piαi)<∏i=1kpipi−1≤∏i=1ki+1i=k+1p_k-1=\frac{\sigma(n)}{n}=\prod_{i=1}^{k}\left(1+\frac{1}{p_i}+\cdots+\frac{1}{p_i^{\alpha_i}}\right)<\prod_{i=1}^{k}\frac{p_i}{p_i-1}\le\prod_{i=1}^{k}\frac{i+1}{i}=k+1
Detailed analysis

Write n=p1α1⋯pkαkn=p_1^{\alpha_1}\cdots p_k^{\alpha_k} with p1<⋯<pkp_1<\cdots<p_k, so p(n)=pkp(n)=p_k. Using the multiplicative formula for σ(n)\sigma(n), each factor 1+pi−1+⋯+pi−αi1+p_i^{-1}+\cdots+p_i^{-\alpha_i} is strictly less than the geometric series sum pi/(pi−1)p_i/(p_i-1). Since pi≥i+1p_i\ge i+1 and t↦t/(t−1)t\mapsto t/(t-1) is decreasing, ∏i=1kpi/(pi−1)≤∏i=1k(i+1)/i=k+1\prod_{i=1}^k p_i/(p_i-1)\le\prod_{i=1}^k(i+1)/i=k+1, giving pk−1<k+1p_k-1<k+1.