No.407

のとき, である. のときは の区間の値をとり得るので, このパターン数は である.

これを を変えながら繰り返していって足し合わせる.

なお, である.