Question 801928
7/8f =< -1
f =< -1/ 7/8
f =< -1*8/7
f =< -8/7
f =< -1 1/7