
$\operatorname{disc} (F)\le X$
