smooth bump function

Existence of bump function

Given any real numbers , there exists a smooth function such that for and for .

Proof

We can take the smooth function

Then we can make a smooth cutoff function

This has the property that for and for .

Then, if we want to make the bump function as desired above we can take the function

which satisfies the requirements and is smooth.