Relation between RAM and Turing machine
You're right, there is a missing assumption that f(n) is at least O(n).
Indeed, the last line of the proof state that the operand are of size O(f(n)), while what has been proven before is O(f(n)+l(I)+l(B)). Since l(I) is O(n), the hypothesis is needed for this simplification.