(mathematics) A positive integer n which there is a positive integer e such that d(n)/nᵉ ≥ d(k)/kᵉ for all k > 1, where d(n) is defined to be the divisor function of n