let algebra-binomnegdiscrineq-10alt28asqp1 = `!a:real. &10 * a <= &28 * a pow 2 + &1`;;