定理

1.寝てないと眠い
2.寝ていても眠い

1,2から寝ない方が時間効率的に妥当と考えられる．