# Vor- und Nachbedingung
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.
📆 **Fällig: ----** 📆 [Musterlösung](solution/)


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