Updated workshop.tex with nearly complete proof for S(x)\leq 1/t. Still a bug.