Problem
1. Give a precondition and a postcondition for the predefined function sqrt, which returns the square root of its argument.
2. If you use a variable in a function definition, where should you declare the variable? In the function definition? In the main function? Any place that is convenient?