Is my construction for this problem correct? Any counterexample?
Difference between en1 and en2, changed 15 character(s)
Body:↵
I am solving this problem:
[problem:1474B]

We need to find the smallest integer a such that:↵

a has at least 4 divisors↵
the difference between any two divisors of a is at least d↵

My idea is to construct a as:↵

a = p⋅q↵

where:↵

p is the smallest prime such that p≥d+1↵
q is the smallest prime such that q≥p+d↵

Then I output a=p⋅q.↵
[submission:373450651]↵

This works for all samples I tested, but I am not fully sure about correctness for all d.↵
Can someone confirm if this construction is always optimal, or provide a counterexample if it fails?

History

 
 
 
 
Revisions
 
 
  Rev. Lang. By When Δ Comment
en2 English Mohammed_Hamed8 2026-05-04 12:01:39 15 Tiny change: 's problem:\n\nWe nee' -> 's problem:[problem:1474B]\n\nWe nee'
en1 English Mohammed_Hamed8 2026-05-04 11:58:15 620 Initial revision (published)