差分

$$p,k\in \mathbb{N}$$より

が成り立ち、$$n\in \mathbb{N}$$から$$\text{ld}(n)\geqq 0$$となるから$$(1)$$と合わせて$$\text{ld}(n)=0$$となって$$n=1$$が分かる。