title: How to solve greater or equal relation between two numbers
body: <p>I have two natural numbers a &amp; b. Third number is c which is greater or equal to b (c&gt;=b). Now have following conditions for a &amp; b and want to prove
  c greater than a.</p>
  <pre><code> a &lt; b-&gt;
   c &gt;= a-&gt;
   c &gt; a.
  </code></pre>