This simple problem is an example of a very interesting phenomenon: if you have a large enough "universe" to consider, even randomly picked parts exhibit structured properties.

Join the Discord community to discuss maths and programming!

Let \(n \geq 2\) be an integer. Then, consider the integers

\[ \{3, 4, \cdots, 2n-1, 2n\}\ .\]

Show that, if you pick \(n\) from those, you always have two numbers that will share no divisors whatsoever.

In other words, show that there's two of those \(n\) numbers that are coprime.

Give it some thought...

If you need any clarification whatsoever, feel free to ask in the comment section below.

You can read the solution here to compare with your own solution. You can also use that link to post your own solution in the comments! Please **do not** post spoilers in the comments here.

If you enjoyed the problem and would like to get new problems directly in your inbox, be sure to subscribe to the Problems newsletter.

Thanks for reading this far! If you would like to show your appreciation for my work and would like to contribute to the development of this project, consider buying me a slice of pizza 🍕.