AMC 10 · 2002 · #6

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
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

You may pick n freely, so take the smallest: n=1 turns the condition into m ≤ m+1.

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

Check it holds for every m

Adding 1 always makes a number larger, so m ≤ m+1 holds for every positive integer m.

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

Count the winners

No m is ever excluded, so the count is infinitely many, choice (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