Se N è molto elevata vale la relazione:
( k y => k ) ⇐ ( p ^ =< y ) ⇐ ( k y => k + 1 ) {\displaystyle (k_y=> k) \Leftarrow (\hat p =< y) \Leftarrow (k_y => k+1)}
ma non so cosa cazzo voglia dire