Just to clarify. As I remember, this is simply equivalent to the (partial case of) the question you cite. Since the cited question was solved, I would not call it a conjecture. But the question to find an independent proof makes sense.
Fedor Petrov
- 108.9k
- 9
- 264
- 459