I take smaller out, because I'm not sure anymore.
What it was supposed to mean, is that it is "close from below", error is only on one side.
However it's not true (in the examples), the error is asymmetric by design, but given numerical precision problems, the smallest eigenvalue could be slightly larger than the threshold.