Suppоse thаt I need tо write а functiоn thаt calculates the sum of 1 + 2 + ... + n where n is a positive integer. I want the name of the function is sum, the formal parameter of the function is n. Write the declaration of the function with precondition and postcondition. Do NOT implement the function.