exact inference for N>D of Y