Are there rational $a$ and $b$ with $$a+be = \frac{1}{\ln 2}\ ?$$

This is a special case of Schanuel's conjecture, which I used repeatedly in this [answer][1] -- it seems simple enough that it might have an independent proof. 


  [1]: https://mathoverflow.net/a/429211/44143