# Vor- und Nachbedingung

📆 **Fällig: ----** 📆 [Musterlösung](solution/)

Gegeben Sie die folgende Funktion `sqrt`. Versehen Sie die Funktion mit einer Vor- und Nachbedingung, um den Aufruf mit ungültigen Werten (`n < 0`) und auf einen positiven Rückgabewert (`>= 0`) zu testen.

```clojure
(defn sqrt [n]
; ---- hier Ihr Code ----
  (Math/sqrt n))
```