mean max [ Y , max $partialdiff sub X$ $integral dX$ ( WORLDBATH bath ) ]