如果U <Un ，则我们肯定（ ）。