AI 中文总结
针对 Kamenetsky 关于数列 A173419 中素数项不小于前一项的猜想，本文给出四个小于 5000 的反例（3359、3623、4909、4943），证明该猜想不成立。
AI 中文摘要
定义 a(n) 为仅使用加法、减法或乘法的最短计算所对应的数，如 OEIS 相关页面 A173419 所述。在该数列的评论中，D. Kamenetsky 猜想：对每个素数 p，有 a(p) ≥ a(p-1)。我们通过四个小于 5000 的反例证明该猜想不成立，这些反例满足条件 a(p) < a(p-1)。它们恰好是 3359、3623、4909 和 4943。
英文摘要
Define a(n) as the number corresponding to the shortest computation using only addition, subtraction, or multiplication, as A173419 states on the related OEIS page. In a comment to the sequence, D. Kamenetsky conjectured that a(p) $\ge$ a(p -1) for every prime. We show that the conjecture is false through four counterexamples below 5000 that satisfy the condition a(p) < a(p -1). They are exactly 3359, 3623, 4909, and 4943.
