Let be positive integers and such that for all
Also, there exists a constant such that, for all :
It is obvious at a glance that there may only be one intersection of size one (if one exists), otherwise we get but . It's also easy to see that there has to be at least one intersection between some two sets.
Using Dilworth's theorem came to mind as we used it to prove some other stuff throughout the semester, however it didn't really yield any result, so I'm pretty much out of any ideas on how to proceed.
Any help would be appreciated!