Generalized Neyman Allocation for Locally Minimax Optimal Best-Arm Identification | Arena Library | Arena