Sum of the nonnegative integers below 1078
ProvedFiniteTriangular.sum_range_1078algebrafinset
The sum of the integers from through equals , which is the triangular number .
Preamble
import Mathlib open Finset
Formal statement
namespace FiniteTriangular theorem sum_range_1078 : ∑ k ∈ range 1078, k = 580503 := by sorry end FiniteTriangular
Source
The closed form for the sum of an initial segment of the nonnegative integers.