k*x > y : k*x >= y + 1 ?

Revision en3, by thebigjuicyd, 2020-07-30 17:04:37

Recently, I was looking at the solution to 1217A - Creating a Character. In the first few lines of the the solution, the author writes how 2addS > exp + int-str. In the next line, the author writes 2addS >= exp + int-str + 1. If there like a rule that says if you add one to one side, you can get a >=?

Tags inequalities

History

 
 
 
 
Revisions
 
 
  Rev. Lang. By When Δ Comment
en4 English thebigjuicyd 2020-07-30 17:05:26 0 (published)
en3 English thebigjuicyd 2020-07-30 17:04:37 20
en2 English thebigjuicyd 2020-07-30 17:03:56 250
en1 English thebigjuicyd 2020-07-30 17:01:18 82 Initial revision (saved to drafts)