Day of Takahashi

AtCoder
IDabc096_a
Time2000ms
Memory256MB
Difficulty
In AtCoder Kingdom, Gregorian calendar is used, and dates are written in the "year-month-day" order, or the "month-day" order without the year. For example, May $3$, $2018$ is written as $2018$\-$5$\-$3$, or $5$\-$3$ without the year. In this country, a date is called _Takahashi_ when the month and the day are equal as numbers. For example, $5$\-$5$ is Takahashi. How many days from $2018$\-$1$\-$1$ through $2018$\-$a$\-$b$ are Takahashi? ## Constraints * $a$ is an integer between $1$ and $12$ (inclusive). * $b$ is an integer between $1$ and $31$ (inclusive). * $2018$\-$a$\-$b$ is a valid date in Gregorian calendar. ## Input Input is given from Standard Input in the following format: $a$ $b$ [samples]
Samples
Input #1
5 5
Output #1
5

There are five days that are Takahashi: $1$\-$1$, $2$\-$2$, $3$\-$3$, $4$\-$4$ and $5$\-$5$.
Input #2
2 1
Output #2
1

There is only one day that is Takahashi: $1$\-$1$.
Input #3
11 30
Output #3
11

There are eleven days that are Takahashi: $1$\-$1$, $2$\-$2$, $3$\-$3$, $4$\-$4$, $5$\-$5$, $6$\-$6$, $7$\-$7$, $8$\-$8$, $9$\-$9$, $10$\-$10$ and $11$\-$11$.
API Response (JSON)
{
  "problem": {
    "name": "Day of Takahashi",
    "description": {
      "content": "In AtCoder Kingdom, Gregorian calendar is used, and dates are written in the \"year-month-day\" order, or the \"month-day\" order without the year.   For example, May $3$, $2018$ is written as $2018$\\-$5$",
      "description_type": "Markdown"
    },
    "platform": "AtCoder",
    "limit": {
      "time_limit": 2000,
      "memory_limit": 262144
    },
    "difficulty": "None",
    "is_remote": true,
    "is_sync": true,
    "sync_url": null,
    "sign": "abc096_a"
  },
  "statements": [
    {
      "statement_type": "Markdown",
      "content": "In AtCoder Kingdom, Gregorian calendar is used, and dates are written in the \"year-month-day\" order, or the \"month-day\" order without the year.  \nFor example, May $3$, $2018$ is written as $2018$\\-$5$...",
      "is_translate": false,
      "language": "English"
    }
  ]
}
Full JSON Raw Segments