デデキント数
ただし
a ( n ) = ( n n / 2 − 1 ) ( 2 − n / 2 + n 2 2 − n − 5 − n 2 − n − 4 ) , {\displaystyle a(n)={n \choose n/2-1}(2^{-n/2}+n^{2}2^{-n-5}-n2^{-n-4}),}
b ( n ) = ( n ( n − 3 ) / 2 ) ( 2 − ( n + 3 ) / 2 + n 2 2 − n − 6 − n 2 − n − 3 ) , {\displaystyle b(n)={n \choose (n-3)/2}(2^{-(n+3)/2}+n^{2}2^{-n-6}-n2^{-n-3}),}
c ( n ) = ( n ( n − 1 ) / 2 ) ( 2 − ( n + 1 ) / 2 + n 2 2 − n − 4 ) . {\displaystyle c(n)={n \choose (n-1)/2}(2^{-(n+1)/2}+n^{2}2^{-n-4}).}
とする。この評価式の背景にあるアイディアは、ほとんどの反鎖において、各元(部分集合)の濃度が n/2 に非常に近いという事実である。n = 2, 4, 6, 8 に対してKorshunovの公式はそれぞれ誤差率 9.8%, 10.2%, 4.1%, -3.3% の評価値を与える。