# $f(n) = n^2 \lceil \log n \rceil$ is time constructible

I have a question, I want to show, that:

$$f(n) = n^2 \lceil \log n \rceil$$

is time-constructible. I have no idea how to do this. I know that $n^2$ is time-constructible and I know that $\log n$ isn't. But I don't know how to prove the statement above. Any suggestions or helpful links?

Thank you!

-