Menu Close

Día: 9 de noviembre de 2022

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:

import data.real.basic
 
variables (f :   )
variable  {c : }
 
example
  (mf : monotone f)
  (nnc : 0  c)
  : monotone (λ x, c * f x) :=
sorry