Highly totient number