Editing Certified finite randomness expansion (section)

==Notation==
* <math>n</math>: number of measurement iterations
* <math>x_i</math>: measurement setting for device A on iteration <math>i</math>
* <math>y_i</math>: measurement setting for device B on iteration <math>i</math>
* <math>A_{bases}</math>: tuple of measurement bases for device A; <math>A_{bases}=\{X,Z\}</math>
* <math>B_{bases}</math>: tuple of measurement bases for device B; <math>B_{bases}=\{1/\sqrt{2}(X+Z),1/\sqrt{2}(X-Z)\}</math>
* <math>a_i</math>: measurement result for device A on iteration <math>i</math> (0 or 1)
* <math>b_i</math>: measurement result for device B on iteration <math>i</math> (0 or 1)
* <math>s</math>: string of measurement basis pairs; <math>s=(x_1,y_1;\ldots;x_n,y_n)</math>
* <math>r</math>: string of measurement result pairs; <math>r=(a_1,b_1;\ldots;a_n,b_n)</math>
* <math>\overline{r}</math>: output string from classical randomness extraction of <math>r</math>
* <math>t</math>: initial private random seed
* <math>u</math>: final randomness expanded string
* <math>\hat{I}</math>: experimental estimate of CHSH correlation
* <math>k</math>: lower bound on conditional min-entropy of measurement results <math>r</math> with respect to measurement settings <math>s</math> and any information held by an adversary
* <math>f</math>: function which takes as input a(n estimated) CHSH correlation and returns a per-use lower bound on the conditional min-entropy of the measurement results with respect to measurement settings and any information held by an adversary in the limit of a large number of uses (determined using semi-definite programming in [https://www.nature.com/articles/nature09008 Pironio et. al.])
* <math>\epsilon</math>: term to account for finite statistics effects
* <math>\alpha</math>: the chosen confidence with which the returned entropy lower bound is correct
* <math>\textrm{Ext}</math>: strong seeded (classical) randomness extractor