All real numbers less than or equal to 7.