σ(n) = sum of divisors, d(n) = number of divisors. Perfect: σ(n)=2n. Abundant: σ(n)>2n. Deficient: σ(n)<2n. Erdős–Straus: 4/n = 1/a + 1/b + 1/c for all n≥2.