boredom is actually a crucial tool for making our lives happier, more productive, and more creative. -Gretchen Rubin
It reminds me of a book I read last year: Bored and Brilliant[1].
[1] https://www.amazon.com/Bored-Brilliant-Spacing-Productive-Cr...