Lets test some math,
eiπ+1=0.
For any x∈R, we have
1+x≤ex.
To see this, observe that ex is a convex function and 1+x is a tangent to ex at x=0. By a change of variable, x=logy we have logy≤y−1 for any y≥0.
Here is a useful inequality involving binomial coefficients,
(mn)m≤(mn)≤k=0∑m(kn)≤(men)m.
The ℓ1 norm is a convex surrogate for ℓ0 norm.