This technical note focuses on positive definite functions defined on compact sets which contain the origin in their interior. It provides a class- function bounding inequality for the given positive definite function which is satisfied for its entire domain of definition. An application of the result is also given to analyze the stability of perturbed nonlinear systems whose nominal parts contain an asymptotically stable equilibrium point at the origin.