2 85 {\displaystyle \ 2^{85}} 3 17 {\displaystyle \ 3^{17}} ( 85 17 ) {\displaystyle 85 \choose 17} ( 84 17 ) {\displaystyle 84 \choose 17} ( 83 17 ) {\displaystyle 83 \choose 17} ( 82 17 ) {\displaystyle 82 \choose 17} ( 83 16 ) {\displaystyle 83 \choose 16} ( 82 16 ) {\displaystyle 82 \choose 16} ( 16 82 ) {\displaystyle \left({}_{16}^{82}\right)} ( 81 16 ) {\displaystyle 81 \choose 16} 3 17 ( 85 17 ) {\displaystyle 3^{17}{85 \choose 17}} 3 16 ( 85 16 ) {\displaystyle 3^{16}{85 \choose 16}}
3 17 ( 85 17 ) {\displaystyle {\begin{matrix}3^{17}{85 \choose 17}\end{matrix}}} 3 16 ( 85 16 ) {\displaystyle {\begin{matrix}3^{16}{85 \choose 16}\end{matrix}}}
log 2 ( 3 17 ( 85 17 ) ) > 85 {\displaystyle {\begin{matrix}\log _{2}\left({3^{17}{85 \choose 17}}\right)>85\end{matrix}}} 3 17 ( 85 17 ) > 2 85 {\displaystyle {\begin{matrix}{3^{17}{85 \choose 17}}>2^{85}\end{matrix}}}
3 16 ( 85 16 ) 2 85 {\displaystyle {3^{16}{85 \choose 16} \over 2^{85}}} 3 16 ( 85 16 ) / 2 85 {\displaystyle {\begin{matrix}{3^{16}{85 \choose 16}/2^{85}}\end{matrix}}} 3 16 ( 85 16 ) 2 85 {\displaystyle {\begin{matrix}{3^{16}{85 \choose 16} \over 2^{85}}\end{matrix}}}
I ( n , m ) = log 2 ( ∑ i = 0 m 3 i ( i n ) ) {\displaystyle I_{(n,m)}=\log _{2}\left(\sum _{i=0}^{m}\,{3^{i}}\!\left(\,_{i}^{n}\right)\right)} I ( n , m ) = log 2 ( ∑ i = 0 m 3 i ( i n ) ) {\displaystyle {\begin{matrix}I_{(n,m)}=\log _{2}\left(\sum _{i=0}^{m}\,{3^{i}}\!\left(\,_{i}^{n}\right)\right)\end{matrix}}}
I ( n , m ) ≥ n {\displaystyle I_{(n,m)}\geq n}
min m n {\displaystyle {\min m \over n}} min m n {\displaystyle {\begin{matrix}{\min m \over n}\end{matrix}}}
∑ i = 1 85 bet ( n i ) ⏞ = 3 17 ∑ i = 1 17 ( pos ( m i ) -1 i ) ⏟ + ∑ i = 1 17 3 i - 1 type ( m i ) ⏟ ⏞ {\displaystyle \overbrace {\sum _{i=1}^{85}{{\mbox{bet}}(n_{i})}} \ =\ \overbrace {\underbrace {3^{17}\sum _{i=1}^{17}{{\mbox{pos}}(m_{i}){\mbox{-1}} \choose i}\ } +\underbrace {\ \sum _{i=1}^{17}3^{i{\mbox{-}}1}{\mbox{type}}(m_{i})} } }
n ≥ 85 {\displaystyle n\geq 85}
