Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2023/discrete-mathematics-probability-and-continuous-mathematics/9/b/iv/solution

The nonnegative integer-valued tail-sum formula for expectation gives
This is finite because . Here is the Riemann zeta function on its convergent real domain. The floor function is nonnegative on the support, so the tail-sum identity applies directly.

New to topics? Read the docs here!