統計力学のエントロピーSの定義について
S = k ln W (W:状態数)
という定義と
S = k Σ_i (p_i) ln (p_i) (p_i: 状態iを取る確率)
という定義があって、
両者が同じというのが理解できません。
どうやって式変形すれば両者が一致することを確認できますか？