all (10 <=) [10, 20, 30] の方がより直感的に感じるが