Bob Jensen created this wonderful graph, which confirms what I've long thought: boredom tends to be continuous over its range.