投げる回数の帰納法使えば密度関数の一峰性示せるけどな
それと平均での対称性で示せる
一発証明ないものか