# Function that is 1 for all positive integers but 0 at 0

A friend of mine had a simple question (at least to state) that I thought I would share: can you, without the use of indicator functions, find a(n) (elementary) function that satisfies

\begin{cases} f(n) = 1,& n \in \mathbb N \\ f(0) = 0. \end{cases}

I have been trying and playing around with trigonometric functions but the periodicity keeps bugging me with the zero on these attempts. I have not found a solution myself yet!

• What is the domain of the function supposed to be?
– f''
May 31, 2016 at 21:17
• I suppose the way it was stated to me, $\mathbb N$, but I have been working in the reals. I do not think the initial intend was to go beyond that. May 31, 2016 at 21:19
• No need to restrict $n$ to positive integers, as $~ g(n)=f(n^2) ~$ could replace any $f(n)$ that works
– humn
Jun 1, 2016 at 2:22
• The real question is, is 0 a natural number ? Jun 1, 2016 at 13:46
• @DmitryRubanovich Read the linked article about elementary functinos. In essense, it's arithmetic operations (+ – × ÷), exponentials, logarihtms and solutions to algebraic equations (such as $n$th roots), and any functions that can be expressed by a combination of these. Jun 4, 2016 at 17:41

No discontinuities, no stretching the definition of elementary functions, even works for negative integers:

$\frac{1}{2} (\cos{(2^{(x^2)}\pi)}+1)$

The key insight was to

construct a function that is a multiple of 2 for most integers, but not 0. $2^x$ satisfies this for positive integers, then $2^{(x^2)}$ makes that work for negative as well.

• This is a neat answer, but why does it have forty-four votes while $\sin(\pi x)/(\pi x)$ has five? :\ Jun 2, 2016 at 6:46
• @DanielSank it might have something to do with the fact that that function is not defined for x = 0 Jun 2, 2016 at 13:08
• I am not at all competent enough to award the 'accepted answer' to anyone but the highest voted answer (i.e. the one the community liked the most), although my personal favorite is the one by @humn (collaborated with @Etoplay) for its simplistic nature. I absolutely loved the creativity all across the board! Jun 2, 2016 at 21:00
• Alternate form: $cos^2(πx^2)$ Jan 7, 2020 at 4:17

Neater version, thanks to Etoplay. (“Just put the abs below the fraction. ...”)

$\kern9em \llap{\color{black}{ f(n) ~~ = }} ~~~ \dfrac{ n }{ |n{-}1| + 1 }$

$\kern9em \llap{\color{black}{ f(0) ~~ = }} ~~~ \dfrac{ 0 }{ |0{-}1| + 1 } ~~=~~ \dfrac0{1{+}1} \color{black}{~~=~~0}$

$\kern9em \llap{\color{black}{ f \, ( \, n{=}1,2,3,\ldots\, ) ~~ = }} ~~~~ \dfrac{n}{ n{-}1 + 1 } ~~~=~~~~\, \dfrac{n}{n} \color{black}{\,~~~=~~1}$

(Can be made to work for all integers by replacing $n$ with $|n|$ in the formula, and for almost all reals — all but $~ 0 < |n| < \epsilon \,$— by replacing $1$ with an arbitrarily small $\epsilon$.)

Original solution, taking $\mathbb N$ to mean 1,2,3,... and acknowledging $~ |x| = \sqrt{x^2} ~$ as an elementary function:

$\kern5em \color{black}{ f(n)~=~ } \dfrac{ |3n{-}1| - 1 }{ 3n{-}2 }$

$\kern5em \color{black}{ f(0)~=~~~ } \dfrac{ |0{-}1| - 1 }{ 0-2 } ~~~=~~ \dfrac{1-1}{-2} \color{black}{~~=~~0}$

$\color{black}{ f(n{=}1,2,3,\ldots)~=~ } \dfrac{ (3n{-}1) - 1 }{ 3n-2 } ~~=~~ \dfrac{3n-2}{3n-2} \color{black}{~~=~~1}$

(This came from an intuition for $~ n{-}\frac12 ~$ that surprisingly trespassed $0/0$ for $~ n=1$. Haven't yet thought of a neat variation that works for all reals, such as $~ n = \frac23 ~$ and $~ 0 \ne n < \frac13 ~$ in this case.)

• Just put the abs below the fraction. You then have $\frac{2x}{|2x-1|+1}$ Jun 1, 2016 at 9:57
• Why we allow abs function? abs is defined conditionally. By allowing functiones defined conditionally we can also use any conditional as well... Jun 1, 2016 at 16:58
• @LuisMasuelli abs is not defined conditionally; as described in the answer above, it can be defined as √ x^2 (pardon my lack of fancy markdown) Jun 1, 2016 at 20:06
• @Amadeus9$\sqrt{x^2}$$\sqrt{x^2}$ Jun 2, 2016 at 18:06
• @Amadeus9 It's actually LaTeX (rendered by MathJax), not Markdown. (I thought the names might help you with learning the syntax. ;) ) Jun 2, 2016 at 22:03

I think this one is the shortest and simplest so far:

$\frac{1}{2}((-1)^{2^x}+1)$

If you want it to work with negative values of $x$, just

change $x$ to $x^2$ in the formula.

P.S. I just noticed this is very similar to @Joe K's formula, but avoids using trigonometry. Basically

replacing $\cos(2^{x}\pi)$ with $(-1)^{2^{x}}$.

$0^0$ equals $1$. The Google calculator agrees with me.

If that's the case, then the function is:

$f(n) = 0^{0^n}$ satisfies all conditions, because $0^n$ with $n > 0$ will always equal 0.

• I'm not entirely convinced that $0^x$ is actually an elementary function; the linked Wikipedia page is ambiguous, but if you take exponentiation as "including the function $e^x$" or "satisfying $\frac{d}{dx}a^x = c\cdot a^x$, then $0^x$ is not elementary if you take $0^0=1$." May 31, 2016 at 23:26
• $0^0$ is not equal to $1$. It is an indeterminate form. Jun 1, 2016 at 2:05
• I don't think there's really a "correct answer" to the question of whether $0^0$ is defined or not. Some authors define it, and for those authors, it is defined; other authors do not define it, and for those authors, it is undefined. The question of whether or not it should be defined is something else. Jun 1, 2016 at 2:34
• Link about $0^0$: "The discussion of 0^0 is very old. [...] Consensus has recently been built around setting the value of 0^0 = 1."
– hvd
Jun 1, 2016 at 7:48
• $f(n) = 1 - 0^n$ could be considered simpler than $0^{0^n}$ and accomplishes the same purpose. However, it's the same key idea as this answer. Jun 1, 2016 at 16:43

$f(n) = 1 - 0^n$
$0^0 = 1$, $0^n$ for any positive $n$ is $0$.

• Jun 2, 2016 at 2:07
• @SimonBuchan Limit of function in point is not always equal to value of function in that point. Truth is that actual value of 0/0 is undefined, but it is often considered to be 1 for sake of several disciplines. Fun fact: limit of n^n for n = 0 is 1. Jun 2, 2016 at 11:04
• See the comments on this similar answer for a discussion of whether $0^0=1$. Jun 2, 2016 at 17:42
• @Revolver_Ocelot: yep, that is why I explictly stated which limit of 0^0 is relavant here, and it's 0^n (actually, 0 is only the limit from above, but w/e). 0^0 is actually "indeterminate", i.e. has multiple possible values depending on context. Your typo of 0/0 is actually similar: for n -> 0, n/0 is undefined, n/n = 1, 0/n = 0. Jun 3, 2016 at 2:41
• @SimonBuchan - This isn't a problem about limits at all. It is the value of the function itself, not limits, that is needed here. While not universally accepted, defining $0^0 = 1, 0^n = 0$ when $n > 0$ is a widely-used convention with hundreds of years of precedence. Whether you agree with it is an argument for a different place. Business Cat's answer works perfectly under that convention. Jun 3, 2016 at 23:24

I don't know if it can be accepted as the function is non defined in $$0$$, but as you probably know

$${\sin \pi x \over \pi x}$$ is $$0$$ for each $$x \in \mathbb{N}$$

and

its limit for $$x \rightarrow 0$$ is $$1$$.

So:

$$1-{\sin \pi x \over \pi x}$$

could be a solution.

• But strictly speaking, the function is undefined at x = 0. Jun 1, 2016 at 17:12
• You could use $$f(x) = 1 - \lim_{t \to x} \frac{\sin \pi t}{\pi t}$$ instead. Jun 1, 2016 at 21:28
• Or just use $\mathop{\mathrm{sinc}}(\pi x)$.
– user1502
Jun 2, 2016 at 3:52
• This is the best answer. It's far simpler than the currently most upvoted answers. Jun 2, 2016 at 7:00
• If we're taking 0/0 then we may as well just allow n/n and define 0/0 as 0 Jun 3, 2016 at 9:52

There is a Sign Function that you can use it like this:

$$f(n) = |\mbox{sgn}(n)|$$

• That isn't an elementary function.
– f''
Jun 1, 2016 at 6:59
• @f'' As I know sgn(x) is as elementary as abs(x) or |x| and cos(x), and from OP's question (elementary) is optional ;). Jun 1, 2016 at 7:56
• If allowed to use abs, sign should also be allowed Jun 1, 2016 at 17:02
• Once you learn peano arithmetic you know the sign function is elementary. Incidentally this function is differentiable everywhere. (derivative at zero is twice the dirac delta function). Jun 1, 2016 at 17:42
• If you resort to dirac, it is not elementary. In the best case you use a limit for the dirac's delta. Jun 1, 2016 at 20:41

Anyone who has studied the maths behind the Discrete Fourier Transform should be able to figure out this one

Firstly we take the function that is 0 everywhere except where it is 1 at $n = 0$, then subtract it from 1

$f(n) = 1 - \operatorname{sinc} n = 1 - \frac{\sin \pi n}{\pi n}$

• Not elementary, Mr Watson Jun 1, 2016 at 9:28
• I thought trig was fair game?
– 小太郎
Jun 1, 2016 at 9:36
• @小太郎: Well, if you're allowed exponentials and imaginary numbers, I think this is still doable... Jun 1, 2016 at 10:44
• This is undefined at zero Jun 1, 2016 at 15:21
• The sinc function is in fact defined to be 1 at 0, since that's its limiting value
– 小太郎
Jun 1, 2016 at 15:47

$$f(x)= \left\lceil\frac{x}{1+x}\right\rceil$$

• This is not elementary unfortunately. Jun 1, 2016 at 12:01
• @PuzzlePrime I just wanna say, I like your username :P Dec 16, 2018 at 7:37

$\underset{\epsilon \to 0}{\lim} \frac{x^2}{x^2 + \epsilon}$

• Taking limits is not elementary Jun 1, 2016 at 9:28
• True. Though, for any particular value of epsilon, the function almost satisfies the requirements.
– Owen
Jun 1, 2016 at 13:30

$$\tanh(cn)$$; where $$c$$ is large (i.e. 1E5) will give the desired answer numerically.

You can square it if you need the negative integers to also give +ve unity.