Tom agrees, the Parallelogram Law problem is ugly

I actually managed to get the addition part of the linearity into a form that I can apply Triangle Inequality on, but it didn't really help any...