Yup, they're simply lost forever. Can't really see how you could ever determine which coins are lost and which ones are stored in a "treasure chest wallet", even after years and years of noone touching them. So the maximum 21 million number is really theoretical and the number of Bitcoins in actual use will start declining eventually I guess.