Сумма натуральных чисел от 1 до n равна \( \frac{n(n+1)}{2} \).
При n = 10, сумма равна \( \frac{10(10+1)}{2} = \frac{10 \cdot 11}{2} = \frac{110}{2} = 55 \).
Ответ: да