•mn(: t) · mn(9 x.(¹(x) Æ 8 z.(¹(x, z) ) :s’(x, z))))
•
•· åa1, ... , ak 2 {1, …, n} mn(8 z. (¹(x, z) ) :s’(a1, …, ak,
z)))
•= n(n-1)…(n-k+1) mn(8 z. ¹(x, z) ) :s’(1, 2, …, k, z))
•
•· nk mn(8 z. ¹(x, z) ) :s’(1, 2, …, k, z))
=
•
•= nk Õz=k+1, n : s’(1,2,…,k,z) /* by independence !! */
•
•= nk ( 1 - 1 / 22k+1 )n-k /* since s’ is
about 2k+1 edges */
•! 0 when n ! 1