Redrawn optimal strategy existance proof illustration