S30-1 inequality (Modern)