Below here: behind-the-scenes stuff that you can (and should!) safely ignore.
11
Expressão 12: "x" equals "a" left brace, 0 less than or equal to "y" less than or equal to "f" left parenthesis, "a" , right parenthesis , "f" left parenthesis, "a" , right parenthesis less than or equal to "y" less than or equal to 0 , right bracex=a0≤y≤fa,fa≤y≤0
12
Expressão 13: "x" equals "b" left brace, 0 less than or equal to "y" less than or equal to "f" left parenthesis, "b" , right parenthesis , "f" left parenthesis, "b" , right parenthesis less than or equal to "y" less than or equal to 0 , right bracex=b0≤y≤fb,fb≤y≤0
13
Expressão 14: 0 less than or equal to "y" less than or equal to "f" left parenthesis, "x" , right parenthesis times "p" left parenthesis, "x" , right parenthesis0≤y≤fx·px
14
Expressão 15: "f" left parenthesis, "x" , right parenthesis times "p" left parenthesis, "x" , right parenthesis less than or equal to "y" less than or equal to 0fx·px≤y≤0
15
Expressão 16: "p" left parenthesis, "x" , right parenthesis equals left brace, "a" less than "x" less than "b" : 1 , right bracepx=a<x<b:1
