Function is_deficient 

pub fn is_deficient(n: u64) -> bool

Check if n is a deficient number: sum of proper divisors < n.

Examples

use mathverse_core::integer::is_deficient;

assert!(is_deficient(8));