Para un entero positivo $n$ con factorización prima $n = p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k}$ definamos $\lambda(n) = (-1)^{\alpha_1 + \alpha_2 + \dots + \alpha_k}$ . Defina $L(n)$ como la suma de $\lambda(x)$ sobre todos los enteros desde $1$ hasta $n$ . Defina $K(n)$ como la suma de $\lambda(x)$ sobre todos los enteros compuestos desde $1$ hasta $n$ . Para algún $N>1$ , sabemos que para todo $2\le n \le N$ , $L(n)\le 0$ . Demuestre que para este $N$ , para todo $2\le n \le N$ , $K(n)\ge 0$ . Mykhailo Shtandenko