Proper efficiency with large environments