IMO 1988 LL HKG30

Find the total number of different integers that the function

IMO 1988 LL HKG30

Origin: HKG

Problem

Find the total number of different integers that the function f(x) = [x] + [2x] + 5x

  • [3x] + [4x] takes for 0 \leqx \leq100.