rotateL_lemma₂

Mathlib.Data.Ordmap.Ordset

URI: https://scilib.ai/kg/mathlib#Ordnode.Valid'.rotateL_lemma₂

English

For natural numbers a, b, c, if 2(b + c) ≤ 9a + 3 and b < 2c, then b < 3a + 1.

Русский

Пусть a, b, c — натуральные числа и 2(b+c) ≤ 9a + 3, а b < 2c. Тогда b < 3a + 1.

LaTeX

$$$ \forall a,b,c \in \mathbb{N},\ (2(b+c) \le 9a+3) \land (b < 2c) \Rightarrow b < 3a+1 $$$

Lean4

theorem rotateL_lemma₂ {a b c : ℕ} (H3 : 2 * (b + c) ≤ 9 * a + 3) (h : b < 2 * c) : b < 3 * a + 1 := by cutsat

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru