Choice A is the correct answer. Goal-achievement problems model the gap between current state and target.

1. Target: Need at least 10,000 steps total
2. Current: Already have 6,250 steps
3. Set up: $6,250 + s \geq 10,000$
4. Solve: $s \geq 10,000 - 6,250 = 3,750$

?�� Strategic Tip: "At least" for the total goal translates to $\geq$ for the amount still needed.

Choice B is incorrect because$\leq 3,750$ would represent a maximum, not the minimum needed. Choice C is incorrect because it adds 6,250 and 10,000 instead of subtracting. Choice D is incorrect because it uses $\leq$ which represents not exceeding the goal, rather than meeting it.