Skip to main content
added 2 characters in body
Source Link
Denis Serre
  • 52.3k
  • 10
  • 146
  • 300

Theorem: Every bounded differentialdifferentiable function $f\colon \mathbb{R}\to \mathbb{R}$ is constant.

Proof. By assumption there exist real numbers $M,N$ such that
$$N\leq f(x) \leq M.$$ Taking derivatives we get $$0\leq f'(x)\leq 0.$$ Hence $f'(x)=0$ so $f$ is constant. QED

Theorem: Every bounded differential function $f\colon \mathbb{R}\to \mathbb{R}$ is constant.

Proof. By assumption there exist real numbers $M,N$ such that
$$N\leq f(x) \leq M.$$ Taking derivatives we get $$0\leq f'(x)\leq 0.$$ Hence $f'(x)=0$ so $f$ is constant. QED

Theorem: Every bounded differentiable function $f\colon \mathbb{R}\to \mathbb{R}$ is constant.

Proof. By assumption there exist real numbers $M,N$ such that
$$N\leq f(x) \leq M.$$ Taking derivatives we get $$0\leq f'(x)\leq 0.$$ Hence $f'(x)=0$ so $f$ is constant. QED

Post Made Community Wiki
Source Link
Lior Bary-Soroker
  • 3.4k
  • 1
  • 27
  • 34

Theorem: Every bounded differential function $f\colon \mathbb{R}\to \mathbb{R}$ is constant.

Proof. By assumption there exist real numbers $M,N$ such that
$$N\leq f(x) \leq M.$$ Taking derivatives we get $$0\leq f'(x)\leq 0.$$ Hence $f'(x)=0$ so $f$ is constant. QED