Function is_abundant 

pub fn is_abundant(n: u64) -> bool

Check if n is an abundant number: sum of proper divisors > n.

Examples

use mathverse_core::integer::is_abundant;

assert!(is_abundant(12));