desigualtat

constructor:

Si ( k€N & p€N ) ==> 1 [< p^{k}

1 [< p^{k} [< p^{k}+...(p)...+p^{k} = p^{(k+1)}

destructor:

Si ( k€N & p€N ) ==> p^{k} < 1

constructor:

Si ( k€N & p€N ) ==> 1 [< p^{k}+kn

1 [< p^{k}+kn [< p^{(k+1)}+kn [< p^{(k+1)}+kn+n = p^{(k+1)}+(k+1)·n

destructor:

Si ( k€N & p€N ) ==> p^{k}+kn < 1