
Integer Integral
Problem
Solve the integral,
$$\int_{0}^{1} \left [ 10^x \right ]\, dx = 9 - \log (m)$$
Where $\left [ \ \right ]$ is the integer part function and $m$ is an integer to be determined.
Problem ID: 148 (Jan 2004) Difficulty: 4 Star

Solve the integral,
Where $\left [ \ \right ]$ is the integer part function and $m$ is an integer to be determined.