А так, это же просто Erdos-Sos problem, частный случай
В общем виде то открытая проблема, обычно ее решают для больших n, но если n определенного вида, то результаты бывают и для всех n
Например, вот тут похожее было
https://arxiv.org/pdf/2408.00484
Post #88
2.78K