This follows from W. M. Schmidt's Subspace theorem, which is a deep theorem in diophantine approximations generalizing Roth's to several variables. A full account of this theorem and its proof, as well as some of its striking applications, can be found in chapter 7 of *Heights in Diophantine Geometry* by Bombieri and Gubler. The following result, the finiteness of the number of non-degenerate solutions to the so-called "$S$-unit equation," is a straightforward application of Schmidt's theorem. (See Theorem 7.4.2 in [HIDG]):

*Let $S$ be a finite set of prime numbers, and fix $n \in \mathbb{N}$. Consider $\mathcal{X}$ the set of solutions to $x_1 + \cdots + x_n = 1$ in rational numbers $x_i$ of the form $\pm \prod_{p \in S} p^{a_p}$, $a_p \in \mathbb{Z}$, such that no proper subsum of $x_1+\cdots+x_n$ vanishes. Then $\mathcal{X}$ is a finite set.*

This implies your question immediately upon considering $S := \{2,3,5,7\}$. 

However, the proof of the Subspace theorem is not effective, and this only shows $S(3^n) \to +\infty$ without any lower estimate on the rate of growth. An effective lower bound on $S(3^n)$ (going to infinity with $n$) is available through Baker's method; it is due to Stewart, and the google search led me to the old MathOverflow post linked to in my comment below. I will just copy the references which Gerry Myerson supplied there:

C. L. Stewart, *On the representation of an integer in two different bases*, J Reine Angew Math 319 (1980) 63-72, MR 81j:10012; H G Senge, E G Straus, *PV-numbers and sets of multiplicity*, Proceedings of the Washington State University Conference on Number Theory (1971) 55-67, MR 47 #8452.