[math-fun] maximum quadrilateral area