Bob Jensen created this wonderful graph, which confirms what I've long thought: boredom tends to be continuous over its range.
The views expressed here are entirely my own, not those of my employer.