How do I get the following into Mathematica, solving for $a$:
$$ 0.7 = 1 - \frac{2}{a} \times \left[ \frac{1}{a} \int_0^a \frac{x}{\exp(x)-1}\mathrm dx + \frac{a}{6} - 1\right] $$
In my experience FindRoot works best for such problems:
In[1]:= fun[a_?NumericQ] := NIntegrate[(x/(Exp[x] - 1)), {x, 0, a}] In[2]:= FindRoot[1 - (2/a)*((1/a)*fun[a] + (a/6) - 1) == 0.7, {a, 0.1}] Out[2]= {a -> 58.3073} One can also use the event detection capability (WhenEvent[]) of NDSolve[] to find the desired root:
(* (Exp[x] - 1)/x; see http://books.google.com/books?id=7J52J4GrsJkC&pg=PA20 *) exm1x[x_?NumberQ] := With[{t = Exp[x], one = N[1, Precision[x]]}, Piecewise[{{one, t == 1}}, (t - 1)/Log[t]]] NDSolveValue[{y'[x] == 1/exm1x[x], y[0] == 0, WhenEvent[7 x^2/10 == x^2 - 2 (y[x] + x^2/6 - x), "StopIntegration", "DetectionMethod" -> Interpolation, "LocationMethod" -> "Brent"]}, y["Domain"], {x, 0, ∞}, Method -> "Extrapolation", AccuracyGoal -> 20, WorkingPrecision -> 20][[1, -1]] 58.307312765209898828 The integral has an exact representation, so it's possible to use several methods.
fun[a_] = Integrate[(x/(Exp[x] - 1)), {x, 0, a}, Assumptions -> a > 0] (* -(a^2/2) + I a π - π^2/6 + a Log[-1 + E^a] + PolyLog[2, E^a] *) FindRoot[1 - (2/a)*((1/a)*fun[a] + (a/6) - 1) == 7/10, {a, 1}, WorkingPrecision -> 20] (* {a -> 58.307312765239769644} *) NSolve[1 - (2/a)*((1/a)*fun[a] + (a/6) - 1) == 7/10 && 50 < a < 60, a, WorkingPrecision -> 20] (* {{a -> 58.307312765239769644}} *) Of course, to use NSolve you need to give it a compact domain, so one needs some knowledge of where the root is.
Or if you want an exact representation,
sol = Root[{ 1 - (2/a)*((1/a)*fun[a] + (a/6) - 1) == 7/10 /. Equal -> Subtract /. a -> # // Function[bdy, bdy &], a /. FindRoot[1 - (2/a)*((1/a)*fun[a] + (a/6) - 1) == 7/10, {a, 1}, WorkingPrecision -> 20] }] 
N[sol, 50] (* 58.307312765239769643612756575305892317507739080842 + 0.*10^-49 I *)
Integrate[(x/(Exp[x] - 1)), {x, 0, a}]and see what that answer suggests to you. You can then useNSolveor maybeFindRootto work out the rest. $\endgroup$