start on symbolic lowest variance solution (right now using point where all losses cross, need an additional lemma to show this is the right solution, plus re-check this point exists)
solve for k=1,2,3 flips (eqns are not linear, so things get harder)
k=1 solution is Jeffrie's prior ( 1/2 pos obs plus 1/2 neg obs as starting point)