The Wikipedia page on $\log 2$ mentions a trick to compute $\log 2$ based on the identity
$$2 = \left(\frac{16}{15}\right)^7\left(\frac{81}{80}\right)^3\left(\frac{25}{24}\right)^5$$
It's not too hard to come up with similar-looking formula, for instance:
$$2 = \left(\frac{9}{8}\right)\left(\frac{8}{7}\right)^2\left(\frac{7}{6}\right)^2$$
Consider a formula to have the form
$$2 = \prod_{i=1}^m \left(1+\frac{1}{n_i}\right)^{k_i}$$ where $n_i$ are positive integers and $k_i$ are (possibly negative) integers.
For a given $m$, the best formula maximizes the smallest $n_i$. How would one go about finding such formulas? Is there a trick besides brute force?
Edit: neat, finding consecutive pairs of p-smooth numbers and solving a lattice problem gives us things like
$$2 = \left(\frac{126}{125}\right)^{72}\left(\frac{225}{224}\right)^{27}\left(\frac{2401}{2400}\right)^{-19}\left(\frac{4375}{4374}\right)^{31}$$
and
$$\frac{144}{251} \sum_{k=0}^{\infty} \frac{1}{(2k+1)63001^k} + \frac{54}{449}\sum_{k=0}^{\infty} \frac{1}{(2k+1)201601^k}-\frac{38}{4801}\sum_{k=0}^{\infty} \frac{1}{(2k+1)23049601^k}+\frac{62}{8749}\sum_{k=0}^{\infty} \frac{1}{(2k+1)76545001^k} = \log 2$$