The value of the plays:
Move a has a miai value of 1 1/2. The local count is -1 1/2 (negative count for White). Whoever plays at a gains 1 1/2 points.
Move b has a miai value of 2. The local count is -2.
Move c has a miai value of 1 3/4. The local count is 1/4. Black can play to a local score of 2, while White can play to a local count of -1 1/2. (Mistake?) 
The current overall count:
Black has 3 points of solid territory in the top left plus 8 points in the bottom right. The area around c is worth 1/4 point, for a total of 11 1/4 points.
White has 8 points of solid territory plus 2 points around b and 1 1/2 points around a, for at total of 11 1/2 points.
The current overall count is -1/4.
Normally the correct play is b, the largest one, but Black should make a small sacrifice to get tedomari.
takes the largest play. takes the largest remaining play. Now 3 and 4 are miai.
Each player has 11 points of territory, for jigo.
Optimal play for Black:
The starting count is -1/4. gains 1 3/4 points, for a count of 1 1/2. gains 2 points, for a count of -1/2. And now Black gets tedomari. gains 1 1/2 points, for a final score of +1. Black has 13 points and White has 12.
The relation of infinitesimals to optimal play:
a and b are gote close to 1 3/4 in value. c has a value of 1 3/4. If White plays in c the next play is almost that big. So a and b are like * (STAR) and c is like ^ (UP). In the infinitesimal game ^ + * + * = ^, Black can win by playing in ^ (c).
Optimal play when White plays first:
After White takes the largest play, Black's optimal play is again to make the second largest remaining play to get tedomari. Black has 11 points of territory and White has 12. White wins by 1 point.
Optimal play and infinitesimals:
We have seen above that the related infinitesimal game is ^, which is positive. That means that White cannot get tedomari, and should not even try.
After , the related game is ^* (UP STAR). Black wins that game by playing in * (a).
(That's not good enough to win the go game, but it is optimal play. :-))
For the endgame c, it is a White Sente endgame. If B plays first, this endgame completes and W has a choice to play the next endgame. If W plays first, B has to respond in order to complete this local endgame. So W is sente. 
(My ideas though. Any comments are welcome.)