A direct verification argument for the Hamilton–Jacobi equation continuum limit of nondominated sorting. (August 2016)