pull down to refresh

Can you convince me this integral equals ? When I try to solve it, it equals , but my reasoning is likely flawed. should be correct though, as shown here, where the exercise comes from.
In this competition, they were supposed to answer this within 4 minutes, but I'll leave the bounty open for as long as it takes :)
Previous iteration: #797869 (solution in #798064).
5,000 sats paid
south_korea_ln's bounties
First thing to notice is that because never appears continuously in the integral (only in the floor function), the integral itself is equal to the following sum:
Second, we can write the interior of the sum as:
However, because of the floor function, the denominator is actually just .
Thus:
reply