Question: 2014 Winter Final - 25

Who discovered the formula $$ 1 + 2 + 3 + \dots + n = n(n + 1) / 2 $$ when he was a young boy?