A number is called a barrier of a number-theoretic
function
if, for all
,
.
Neither the totient function
nor the divisor function
has a barrier.
Let be an open
set and
,
then a function
is called a barrier for
at a point
if
1. is continuous,
2. is subharmonic
on
,
3. ,
4.
(Krantz 1999, pp. 100-101).