Si f es monótona y c ≥ 0, entonces c·f es monótona
Demostrar que si f es monótona y c ≥ 0, entonces c·f es monótona.
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 5 6 7 8 9 10 |
import data.real.basic variables (f : ℝ → ℝ) variable {c : ℝ} example (mf : monotone f) (nnc : 0 ≤ c) : monotone (λ x, c * f x) := sorry |
Read More «Si f es monótona y c ≥ 0, entonces c·f es monótona»