(sum_(n=1)^(floor(1000/3)) 3n) + sum_(n=1)^(floor(1000/5)) 5n