Skip to content

Commit

Permalink
Fix blueprint
Browse files Browse the repository at this point in the history
  • Loading branch information
YaelDillies committed Nov 16, 2023
1 parent 4a43f67 commit 1a0b437
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion blueprint/src/chapter/pfr-entropy.tex
Original file line number Diff line number Diff line change
Expand Up @@ -222,7 +222,7 @@ \subsection{Endgame}
\uses{first-estimate, second-estimate}
From the definitions of $I_1,I_2$ (and some entropy lemma to deal with the third term), we see that
\[
I_1 = \I{U : V \, | \, S}, \qquad I_2 = \I{W : U \, | \, S}, \qquad I_2 = \I{V : W \, | \,S}.
I_1 = I{U : V \, | \, S}, \qquad I_2 = I{W : U \, | \, S}, \qquad I_2 = I{V : W \, | \,S}.
\]
Applying Lemma \ref{first-estimate} and Lemma \ref{second-estimate} we have the inequalities
\[ I_2 \leq 2 \eta k + \frac{2\eta(2 \eta k - I_1)}{1-\eta} .
Expand Down

0 comments on commit 1a0b437

Please sign in to comment.