Summation
Given a sequence
(
a
n
)
, then we define
∑
i
=
1
n
a
i
:=
a
1
+
a
2
+
…
+
a
n
Constant can be Factored
Suppose
c
∈
R
, then
∑
i
=
1
n
c
a
i
=
c
∑
i
=
1
n
a
i
TODO
Sum of Added or Subtracted Sequence is the Addition or Subtraction of Sums
Suppose
(
a
n
)
and
(
b
n
)
are sequences, then
∑
i
=
1
n
(
a
i
±
b
i
)
=
∑
i
=
1
n
a
i
±
∑
i
=
1
n
b
i
TODO
Sum of Consecutive Integers
For any
n
∈
N
1
we have that:
∑
k
=
1
n
k
=
n
⋅
(
n
+
1
)
2