Skip to main content
Ch. 1 - Functions
Hass - Thomas' Calculus 15th Edition
Hass15th EditionThomas' CalculusISBN: 9780137616077Not the one you use?Change textbook
Chapter 1, Problem 1.1.35

The Greatest and Least Integer Functions


Does ⌊x⌋ = ⌈x⌉ for all real x? Give reasons for your answer.

Verified step by step guidance
1
Understand the definitions: The floor function ⌊x⌋ gives the greatest integer less than or equal to x, while the ceiling function ⌈x⌉ gives the smallest integer greater than or equal to x.
Consider a real number x that is not an integer, such as 2.5. For this value, ⌊2.5⌋ = 2 and ⌈2.5⌉ = 3. Clearly, ⌊x⌋ ≠ ⌈x⌉ in this case.
Now consider a real number x that is an integer, such as 3. For this value, ⌊3⌋ = 3 and ⌈3⌉ = 3. Here, ⌊x⌋ = ⌈x⌉.
From these observations, we can conclude that ⌊x⌋ = ⌈x⌉ if and only if x is an integer.
Therefore, ⌊x⌋ = ⌈x⌉ for all real x is not true; it only holds when x is an integer.

Verified video answer for a similar problem:

This video solution was recommended by our tutors as helpful for the problem above.
Video duration:
4m
Was this helpful?

Key Concepts

Here are the essential concepts you must grasp in order to answer the question correctly.

Greatest Integer Function (Floor Function)

The greatest integer function, denoted as ⌊x⌋, returns the largest integer less than or equal to x. For example, ⌊3.7⌋ equals 3, while ⌊-2.3⌋ equals -3. This function effectively 'rounds down' any real number to the nearest integer.
Recommended video:
6:04
Intro to Rational Functions

Least Integer Function (Ceiling Function)

The least integer function, denoted as ⌈x⌉, returns the smallest integer greater than or equal to x. For instance, ⌈3.7⌉ equals 4, and ⌈-2.3⌉ equals -2. This function 'rounds up' any real number to the nearest integer.
Recommended video:
06:21
Properties of Functions

Comparison of Floor and Ceiling Functions

The question asks whether ⌊x⌋ equals ⌈x⌉ for all real x. In general, these two functions yield different results unless x is already an integer. For non-integer values, ⌊x⌋ will be less than ⌈x⌉, highlighting that they are not equal for all real numbers.
Recommended video:
06:21
Properties of Functions