left justified table and fixed a typo in the concavity proof
removed a line