(sum_{i=1}^6 i)