
$\sqrt{\operatorname{disc} (K)}$
