Highly abundant number