monotonic properties of (sqrt((x+3)*(7-x)))