Take logs of both sides:
log(0.85x) = log(1/2)
From a properrty of logarithms we can write:
x*log(0.85) = log(1/2)
so x = log(1/2)/log(0.85)
$${\mathtt{x}} = {\frac{{log}_{10}\left({\frac{{\mathtt{1}}}{{\mathtt{2}}}}\right)}{{log}_{10}\left({\mathtt{0.85}}\right)}} \Rightarrow {\mathtt{x}} = {\mathtt{4.265\: \!024\: \!281\: \!798\: \!725\: \!7}}$$
.
Take logs of both sides:
log(0.85x) = log(1/2)
From a properrty of logarithms we can write:
x*log(0.85) = log(1/2)
so x = log(1/2)/log(0.85)
$${\mathtt{x}} = {\frac{{log}_{10}\left({\frac{{\mathtt{1}}}{{\mathtt{2}}}}\right)}{{log}_{10}\left({\mathtt{0.85}}\right)}} \Rightarrow {\mathtt{x}} = {\mathtt{4.265\: \!024\: \!281\: \!798\: \!725\: \!7}}$$
.