50%に収束するという証明も必要だよな