MathDB
Find the total number of different integers of a function

Source: IMO LongList 1988, Hong Kong 1, Problem 25 of ILL

October 22, 2005
functionalgebra unsolvedalgebra

Problem Statement

Find the total number of different integers the function f(x)=[x]+[2x]+[5x3]+[3x]+[4x] f(x) = \left[x \right] + \left[2 \cdot x \right] + \left[\frac{5 \cdot x}{3} \right] + \left[3 \cdot x \right] + \left[4 \cdot x \right] takes for 0x100.0 \leq x \leq 100.