Project Euler Problem 131

どもです。
解けたんですが，その過程の証明に自信がなくて，
なら，その証明をさらして，あわよくば識者の方に間違いを指摘してもらおうという
作戦。
しかし，はてなの tex 記法を試してみるも，てーか，これ tex じゃね?
と，数年ぶりに tex で数式を書いてみた。
しかし，これをそのまま日記にアップすることはできないことがわかったので，
スクリーンショットとって，オリジナルサイズでアップしてみた。
んで，オリジナルサイズを表示して，そのURLの後ろを少し削って，
img タグで貼ってみた。

んで，コード。

(defun euler-problem-131 (upper-bound)
  (loop for k from 1
        for pcandidate = (1+ (* 3 k (1+ k)))
        while (< pcandidate upper-bound)
        count (is-prime pcandidate)))

んー，正解だったけど，どうもこの証明，すっきりしないんだよなー。