inf - sup condition