A prime indicator is constructed by applying the Fejér identity to the sine-quotient encoder of trial division. For integers , holds exactly for odd primes; . For all non-integers one has . The function is piecewise and its second derivative has jumps precisely at the squares , with explicit sizes. Replacing the sharp cut-off by a smooth transition yields analogues and with integer limits and as , obtained from locally uniform convergence of derivative series. For large , numerical evidence indicates companion zeros near odd primes for and an asymmetric pair for . No assertion is made beyond integer input, and no statements are claimed about the prime number theorem or zero distributions of -functions. The appendix includes two illustrative prime-counting sums.

生成讲解博客的中文版本

生成AI智能校验的中文版本