exact solution for the optimal bound found with analytic solver
exact solution for the optimal bound found with analytic solver
distribution dump