[EGrouped [EGrouped [EMathOperator "there exists",EGrouped [EGrouped [EIdentifier "\948",ESymbol Op ">",ENumber "0"],EMathOperator "such that",EGrouped [EGrouped [EIdentifier "f",ESymbol Op "\8289",EGrouped [EStretchy (ESymbol Open "("),EIdentifier "x",EStretchy (ESymbol Close ")")]],ESymbol Op "<",ENumber "1"]]]]]