Example ex4-129

Prev: ex4-128

Next: ex4-130

a a a a a 1

<math>
<apply> <forall/>
  <bvar><ci> a </ci></bvar>
  <apply><and/>
    <apply><leq/>
      <apply><floor/>
        <ci>a</ci>
      </apply>
      <ci>a</ci>
    </apply>
    <apply><lt/>
      <ci>a</ci>
      <apply><plus/>
        <apply><floor/>
          <ci>a</ci>
        </apply>
        <cn>1</cn>
      </apply>
    </apply>
  </apply>
</apply>
</math>