unsuccessful attempt at proving optimality