Loading paper
$Z_{DP}(n)$ is upperly bounded by $n^2-(n+3)/2$ | Tomesphere