sum_(c=l)^r max(0, r-c-l+1)