main = print (add_up 1000000000 0)

add_up 0 acc = acc
add_up n acc = add_up (n - 1) (acc + n)