function main(input) {
    var a = input[0].split(" ")[0];
    var b = input[0].split(" ")[0];
    
    console.log(a<b?a:a-1);
}
main(require('fs').readFileSync('/dev/stdin', 'utf8').trim().split("\n"))
