Definition
Sum > n
n is abundant when the sum of its proper divisors is strictly greater than n.
Check Abundant Number in Python
Overview
What You’ll Learn
An abundant number has proper divisors that add up to more than the number itself. This tutorial covers the definition, a live preview, algorithm steps, worked Python examples, edge cases, and complexity.
Proper Divisors
Exclude n
Positive divisors smaller than n — for 12 that is 1, 2, 3, 4, and 6.
Basic Loop
1 … n//2
Scan candidates up to n//2, add each divisor, then compare the sum to n.
Sqrt Pairs
Faster path
Walk i up to √n and add both i and n//i (skipping n itself) for O(√n) time.
Live Preview
Try any n
Type a number and see divisors, sum, and abundant / perfect / deficient verdict.
O(n) / O(√n)
Complexity
Both approaches use O(1) extra space; pick the method that matches the interview ask.
Introduction
An abundant number is a positive integer whose proper divisors add up to more than the number itself. The classic first example is 12: proper divisors 1 + 2 + 3 + 4 + 6 = 16, and 16 > 12.
In interviews you usually write a helper that sums proper divisors, then compare that sum with n. The same helper also classifies perfect numbers (sum equals n) and deficient numbers (sum is less than n).
Why it matters?
It trains divisor loops, careful edge handling for 1 and primes, and a natural path to the O(√n) optimization interviewers love to hear.
Key Highlights
Strict Inequality
Abundant needs sum > n — equality is perfect, not abundant.
Smallest Is 12
No abundant number exists below 12 — a great sanity check.
Two Patterns
Simple n//2 loop, or divisor-pair sum up to √n.
Never Primes
Primes only have proper divisor 1, so they are always deficient.
In short: sum the proper divisors of n; if that sum is greater than n, the number is abundant.
Foundation
📝 Problem & Approach
Given a positive integer n, decide whether it is abundant: whether the sum of its proper divisors is greater than n.
python
# Example: n = 12
# Proper divisors: 1, 2, 3, 4, 6
# Sum = 16 > 12 → abundantInputs & Outputs
| Item | Type | Description |
|---|---|---|
n | int | Positive integer to classify (treat n ≤ 1 as not abundant). |
| Return / print | bool / text | True / message when sum of proper divisors > n. |
Minimal workflow
Pseudocode
function isAbundant(n):
if n <= 1:
return false
div_sum = 0
for i from 1 to floor(n / 2):
if n mod i == 0:
div_sum = div_sum + i
return div_sum > nMethod comparison
| Method | Idea | Time |
|---|---|---|
| Basic loop | Add every divisor from 1 to n // 2 | O(n) |
| Divisor pairs | Loop to √n; add both factors (skip n) | O(√n) |
Cheat Sheet
⚡ Quick Reference
| Goal | Pattern |
|---|---|
| Is divisor? | n % i == 0 |
| Basic upper bound | range(1, n // 2 + 1) |
| Abundant test | div_sum > n |
| Perfect test | div_sum == n |
| Deficient test | div_sum < n |
| Pair partner | n // i (add if i != n // i and partner ≠ n) |
Compare
📋 Basic vs Sqrt vs Full Sigma
All can decide abundance — clarity and speed differ.
Basic loop
1 .. n//2Easiest to explain; fine for small n and whiteboard demos
Sqrt pairs
i & n//iSame answer in O(√n); mention this as the optimization
Sigma form
σ(n) > 2nEquivalent math: sum of all divisors exceeds 2n
Interview tip
explain bothLead with basic, then show the pair optimization
Context
When This Problem Shows Up
Reach for abundant-number drills when divisor sums and number classification matter.
Interview warm-ups
Quick check of loops, modulo tests, and clear boolean returns.
Number-theory intros
Pairs naturally with perfect and deficient number questions.
Amicable follow-ups
Abundant checks share the same divisor-sum building block as amicable pairs.
Teaching divisor loops
Visible example (12) makes the “sum then compare” pattern stick.
Not for huge ranges alone
Printing every abundant number to a huge limit needs smarter sieves — discuss that separately.
Key benefit: one small problem that covers divisors, classification, edge cases, and a clean O(√n) upgrade.
Interactive
🔮 Live Preview
Type a positive integer to see its proper divisors, sum, and classification.
Hands-On
Examples Gallery
Three complete Python programs — check one number, list a range, and an O(√n) divisor-pair variant. Click View Output to reveal sample console results.
📚 Getting Started
Classify a single integer with the basic loop.
Example 1 — Check One Number
Sum proper divisors with a loop to n // 2, then compare with n.
python
def is_abundant(num: int) -> bool:
if num <= 1:
return False
div_sum = 0
for i in range(1, num // 2 + 1):
if num % i == 0:
div_sum += i
return div_sum > num
number = 12
if is_abundant(number):
print(f"{number} is an abundant number.")
else:
print(f"{number} is not an abundant number.")How It Works
Guard num <= 1, then accumulate every i that divides num. Returning div_sum > num is the entire definition of abundance.
📈 Practical Patterns
Reuse the helper across a range.
Example 2 — Print Abundant Numbers from 1 to 50
Call the same check in a loop and print matches on one line.
python
def is_abundant(num: int) -> bool:
if num <= 1:
return False
div_sum = 0
for i in range(1, num // 2 + 1):
if num % i == 0:
div_sum += i
return div_sum > num
print("Abundant numbers between 1 and 50 are:")
for value in range(1, 51):
if is_abundant(value):
print(value, end=" ")How It Works
The helper stays pure; the outer loop only decides what to print. Notice the first hit is 12 — a useful self-check when you rewrite the function.
⚡ Interview Optimization
Same verdict in O(√n) using divisor pairs.
Example 3 — Sum Divisor Pairs up to √n
For each factor i, also consider n // i, but never add n itself.
python
import math
def is_abundant_fast(num: int) -> bool:
if num <= 1:
return False
div_sum = 1 # 1 is always a proper divisor for num > 1
limit = int(math.isqrt(num))
for i in range(2, limit + 1):
if num % i == 0:
div_sum += i
partner = num // i
if partner != i and partner != num:
div_sum += partner
return div_sum > num
print(is_abundant_fast(12))
print(is_abundant_fast(28))How It Works
Start with 1, then for each i from 2 to √n add both sides of the pair when they differ. Skip the partner when it equals num so you never include the number itself. 12 is abundant; 28 is perfect (sum = 28), so the second call is False.
🧠 How the Algorithm Decides
1
Validate n
If n <= 1, return false immediately — not abundant under this definition.
Guard
2
Sum divisors
Add every proper divisor found by the basic loop or the pair method.
Accumulate
3
Compare
Test div_sum > n. Equality means perfect; less means deficient.
Verdict
=
Classification done
Return or print whether n is abundant based on that strict inequality.
Trace
🔎 Worked Walkthrough — n = 12
Trace the basic method for 12. Loop i from 1 to 12 // 2 = 6 and add every divisor.
i | 12 % i | Action | div_sum |
|---|---|---|---|
1 | 0 | Add 1 | 1 |
2 | 0 | Add 2 | 3 |
3 | 0 | Add 3 | 6 |
4 | 0 | Add 4 | 10 |
5 | 2 | Skip | 10 |
6 | 0 | Add 6 | 16 |
Final check: 16 > 12 → abundant.
Use Cases
Where abundant-number checks (and their divisor sums) show up beyond the prompt.
1. Number Classification
Split integers into deficient, perfect, and abundant buckets.
Example: 7 / 6 / 12 in one helper.
2. Amicable Pairs
Proper-divisor sums are the core of amicable-number checks.
Example: 220 and 284 share the same sum helper.
3. Interview Drills
Shows loops, modulo, and optional sqrt optimization cleanly.
Example: “write is_abundant(n)” prompts.
4. Teaching Divisors
Concrete numbers make “exclude n itself” easy to remember.
Example: chalkboard walkthrough of 12.
5. Project Euler Warm-Ups
Several classic problems ask for sums over abundant numbers.
Example: non-abundant sums style tasks.
6. Complexity Practice
Compare O(n) vs O(√n) on the same boolean question.
Example: time both helpers on large n.
Pro Tip: keep one proper_divisor_sum(n) helper and derive abundant / perfect / deficient from it — less duplicated logic.
Advantages
Why these approaches work well in interviews and classwork.
1. Definition Maps to Code
Sum proper divisors, compare with n — almost no translation gap.
2. Easy Optimization Story
You can start O(n) and upgrade to O(√n) without changing the problem statement.
3. Reusable Sum Helper
The same function powers perfect, deficient, and amicable problems.
4. Tiny Extra Memory
Both methods need only a few integers — O(1) extra space.
Pro Tip: say the definition out loud first, then code the sum — interviewers score clarity as much as the loop.
Usage Tips
Small habits that keep abundant-number code interview-ready.
1. Exclude n Explicitly
Proper divisors never include the number; looping only to
n // 2makes that automatic.2. Use Strict
>Perfect numbers satisfy equality — do not treat them as abundant.
3. Guard Tiny Inputs
Return false for
n <= 1before any loop.4. Name the Helper Clearly
is_abundantvsproper_divisor_sum— pick names that match what the function returns.5. Spot-Check Known Values
Assert 12 is True, 6 and 28 are False, 7 is False before moving on.
Pro Tip: dry-run 12 on paper once — it catches off-by-one upper bounds faster than guessing.
Common Pitfalls
Mistakes that commonly break abundant-number solutions.
1. Including n in the Sum
Adding the number itself turns every n into “abundant” via
sum ≥ n + 1.→ Loop only to
n // 2, or skip the partner when it equals n.2. Using
>=Instead of>That wrongly labels perfect numbers as abundant.
→ Abundance requires a strict greater-than comparison.
3. Double-Counting Square Roots
When
i * i == n, adding bothiandn // icounts the root twice.→ Only add the partner when
partner != i.4. Skipping the
n <= 1GuardEmpty ranges or awkward special cases can confuse beginners.
→ Return false early for tiny inputs.
5. Forgetting Primes Are Never Abundant
A wrong sum that exceeds 1 for a prime is a bug, not a discovery.
→ Spot-check a few primes after coding.
Edge Cases
Check these inputs before calling the solution done.
n <= 1
Not abundant
Return False — no positive proper-divisor sum beats n.
Prime n
Always deficient
Only proper divisor is 1, so the sum cannot exceed n.
Perfect
6, 28, …
Sum equals n — return false for the abundant check.
n = 12
Smallest abundant
Great golden test: must return true.
Squares
Pair edge
When using sqrt pairs, do not double-count the square root.
Large n
Prefer O(√n)
The basic loop to n//2 gets slow; switch to divisor pairs.
Math
⚖️ Classification Worth Knowing
Handy facts interviewers sometimes ask as follow-ups.
- Three-way split. Every positive integer is deficient, perfect, or abundant based on its proper-divisor sum.
- Abundance. The abundance of n is
div_sum - n; abundant numbers have positive abundance. - Sigma form. Equivalently, n is abundant when σ(n) > 2n, where σ sums all positive divisors.
- Even vs odd. Most small abundant numbers are even; odd abundant numbers exist but are much larger.
Drill
🎯 Practice Problems
Try these variations to lock in the pattern.
1. Classify any n
- Return
"deficient","perfect", or"abundant" - Reuse one divisor-sum helper
2. Count abundants in a range
- How many abundant numbers are in 1…100?
- Compare basic vs sqrt helpers for speed
3. List with abundance
- Print
nanddiv_sum - nfor each hit - Confirms you understand the surplus
4. Implement σ(n) > 2n
- Sum all divisors including n
- Show it matches the proper-divisor definition
Important
Notes
- Proper vs all. Proper divisors exclude n; σ(n) includes n — keep the definitions straight when comparing formulas.
- 12 is the smallest abundant number — if your range printer starts later, something is wrong.
- Perfect numbers are not abundant. Test 6 and 28 as negative cases.
- Mention both O(n) and O(√n) when asked about complexity — that shows depth.
Quick Takeaway: sum proper divisors; if the sum is greater than n, the number is abundant.
Analysis
⏱️ Time and Space Complexity
| Program | Time | Extra space |
|---|---|---|
| Basic loop to n//2 | O(n) | O(1) |
| Divisor pairs up to √n | O(√n) | O(1) |
| Range scan 1…m (basic) | O(m²) worst case | O(1) |
🎉 Conclusion
Abundant numbers are a clean divisor-sum exercise: exclude n, add what remains, and test a strict greater-than comparison. Master the basic loop first, then explain the O(√n) pair method when interviewers ask about performance.
Practice the three examples above, then continue to amicable numbers — they reuse the same proper-divisor sum idea.
Never include n in the sum, never treat perfect numbers as abundant, and validate tiny inputs early.
Pro Tips
💡 Best Practices
✅ Do
- State the definition before coding
- Use
div_sum > n(strict) - Guard
n <= 1 - Mention the O(√n) pair optimization
- Test 12, 6, 28, and a prime
❌ Don’t
- Add n into the divisor sum
- Confuse perfect with abundant
- Double-count square roots in pair mode
- Skip complexity discussion for large n
- Forget that primes are never abundant
Summary
Key Takeaways
Knowledge Unlocked
Five things to remember about abundant numbers
Classify integers the interview-friendly way.
5
Core concepts 01
Rule
Sum of proper divisors > n
Definition 02
Proper
Divisors exclude n
Math 03
Basic
Loop 1 … n//2
Code 04
Fast
Divisor pairs to √n
Code 05
Complexity
O(n) or O(√n)
Analysis❓ Frequently Asked Questions
A positive integer n is abundant when the sum of its proper divisors is greater than n. Example: 12 is abundant because 1+2+3+4+6 = 16, and 16 > 12.
Proper divisors are positive divisors smaller than the number itself. For 18, proper divisors are 1, 2, 3, 6, and 9.
No. 1 has no positive proper divisors, so the sum is 0, which is not greater than 1.
No. A prime p only has proper divisor 1, so the sum is 1 and cannot be greater than p.
No proper divisor of n can be larger than n/2. So checking beyond n//2 is unnecessary in the simple approach.
Perfect: sum equals n. Deficient: sum is less than n. Abundant: sum is greater than n. Together they classify every positive integer.
Start with the simple method (easy to understand), then mention the sqrt optimization using divisor pairs for better performance.
The basic loop to n//2 is O(n). Summing divisor pairs up to sqrt(n) is O(√n). Both use O(1) extra space.
Did you Know? 🔊
The smallest abundant number is 12 because its proper divisors are 1, 2, 3, 4, 6 and their sum is 16, which is greater than 12.
Continue to Amicable Number
Learn how two numbers can each equal the proper-divisor sum of the other.
About the author
9 people found this page helpful