AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Contacts

AtLeast(AngouriMath.Entity,AngouriMath.Entity)

Method (no overloads)

Summary

value >= bound, written as a bound on the one name the two are about where their
difference is linear in it with a rational slope: 2 n - 1 >= n - 1 is
n >= 0, which is how a closed form's range reads. As written otherwise, so
n >= a - 1 keeps both of its names.

AngouriMath

Table of contents

AngouriMath

AtLeast​(AngouriMath.​Entity,​AngouriMath.​Entity)

AtLeast(AngouriMath.Entity,AngouriMath.Entity)