раз левая и правая части больше 0, то возведем в квадрат
✓2017+✓2015 ∨ 2✓2016
2017 + 2015 + 2√2015*2017 ∨ 4*2016
2*2016 + 2√(2016 - 1)(2016 + 1) ∨ 4*2016
2√(2016² - 1) ∨ 2*2016
√(2016²-1) ∨ 2016
√(2016²-1) < √2016²
значит
√2017 + √2015 < 2√2016
