The maximum of quasiconvex functions is a quasi-convex function or it is not a real-valued function.
QuasiConvexFunction(maximumOfQuasiConvexFunction) ∨ ¬RealValuedFunction(maximumOfQuasiConvexFunction)