@!&& 4 4u$  iiu$ C E x  2 infimum supremumpcC