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