Personal Scratchpad

[jaydfox]

And let's extract t. The derivative T' is strictly increasing, so when we extract a positive t, we'll get a positive s. The value will be uninmportant, so long as we know it's positive.

Ah, that looks like a mistake. T' is convex, but initially decreasing, so it can't be "strictly increasing". Let me look closer at that and see what effect this will have.

Yes, it does seem that this knocked out the rest of the calculations. Graphically, I can see that the log-convexity requirement is there, so the final result should be the same, once I fix the maths. Back to the drawing board... Oh wait, this is the drawing board... (my scratchpad)