4. Use:
the definition of an even integer n is even if n = 2k for some integer k, and
the fact that the floor and ceiling of any integer are equal to that integer,
to show that the left hand side of this equation is equal to the right hand side of this equation.