The upper bound follows by induction. Let Sm be the statement that f(n)≤5log3n for n≤3m+2. We have 2=1+1, 3=1+1+1, 4=1+1+1+1, 5=1+1+1+1+1, so f(2)=2, f(3)=3, f(4)=4, f(5)=5. We have 1=log33<log34<log35, so f(3)<5log33, f(4)<5log34 and f(5)<5log35. Also 24=16>32, so 2<log324=4log32. Hence 5log32>4log32>2=f(2). So S1 is true. Suppose Sm is true. We have 3m+3=(1+1+1)×(m+1), so f(3m+3)≤3+f(m+1)=3+5log3(m+1)<5(1+log3(m+1))=5log3(3m+3). Similarly, since 3m+4=1+(3m+3), we have f(3m+4)≤4+f(m+1)<5log3(3m+3)<5log3(3m+4). Similarly, f(3m+5)≤5+f(m+1)≤5+5log3(m+1)=5log3(3m+3)<5log3(3m+5). So Sm+1 is true. So Sm is true for all m.
Induction also works for the lower bound. In any expression for n using 1s we either have n=a+b, with further expressions for a and b, or we have n=a⋅b with further expressions for a and b. In the first case if a=1, we have to show that 1+log3b≥log3(b+1), but that is almost obvious since 1+log3b=log3(3b)>log3(b+1). If a,b>1, then we have to show that log3a+log3b≥log3(a+b), which is again obvious, since if a≥b≥2 we have log3a+log3b=log3(ab)≥log3(2a)≥log3(a+b). In the second case we can assume that a,b>1 (since there is no benefit in the expression if a=1 or b=1), so we have to show that log3a+log3b≥log3(ab) which is true (we have equality). So all we need are the starting cases. For n=2, it is clear that f(2)=2, but 8<9, so log38<log39 or 3log32<2=f(2), as required.