AMC 10 · 2002 · #4

Grade 6 arithmetic
logical-deductionif-then-reasoning guess-and-check ↑ Prerequisites: logical-deduction
📏 Short solution 💡 1 insight
Problem
Count the positive integers m for which you can find at least one positive integer n making m · n ≤ m+n true.

Pick an answer.

(A)
4
(B)
6
(C)
9
(D)
12
(E)
infinitely many

AMC 10 2002 problem © Mathematical Association of America (MAA AMC). Reproduced for educational use.

How to solve
Strategy Guess and Check

The phrase 'there exists at least one n' hands you a choice: for each m you get to pick the n that helps most. Tool #6 (Guess and Check) turns that freedom into a plan — instead of testing many n, guess the single simplest one, n=1, and check what the inequality becomes. Tool #4 (Introduce a Variable) keeps m general so one check covers every value at once rather than one number at a time. Tool #3 (Eliminate Possibilities) then reads the multiple-choice list: the four finite counts (A)-(D) can only survive if some m fails, so showing that none fail rules them all out and leaves 'infinitely many'.

1STEP 1

Pick the easiest n

Since n is yours to choose, take the smallest one, n=1 — the two sides become m · 1=m and m+1.

n=1: m · 1 ≤ m+1 ⟺ m ≤ m+1
2STEP 2

Check it holds for every m

m ≤ m+1 just says a number is no bigger than itself plus one, so n=1 works for every m.

m ≤ m+1 is true for all m=1,2,3,…
3STEP 3

Count the winners

Every m pairs with n=1 and the positive integers never run out, so no finite count survives — answer (E).

{m:some n works}={1,2,3,…} → (E)
Answer
infinitely many
Spot-check a few values with n=1: m=5 gives 5 ≤ 6, m=100 gives 100 ≤ 101, m=1 gives 1 ≤ 2 — all true, and there is no largest m to try, so the count really is unbounded. It also makes sense that a finite answer like 4 or 12 would be suspicious here: the inequality gives you a free, always-winning move (n=1), so there is no reason it should ever stop working, which is exactly what 'infinitely many' captures.
💡Key takeaway

When a problem only needs one value to exist, you get to choose it — here picking n=1 makes the inequality m ≤ m+1, which is always true, so every m works.

  • Pick the easiest n
  • Check it holds for every m
  • Count the winners