process.stdin.resume();
process.stdin.setEncoding('utf8');

var g_input = '';
process.stdin.on('data', function(chunk) {
    g_input += chunk;
});

process.stdin.on('end', function() {
    Main(g_input.split(/\r?\n/));
});

function Main(input) {
    var params = input[0].split(' ');
    var a = parseInt(params[0], 10);
    var b = parseInt(params[1], 10);
    var c = parseInt(params[2], 10);
    var d = parseInt(params[3], 10);

    if (b <= c || d <= a) {
        console.log(0);
    }
    else if (a <= c) {
        if (b <= d) {
            console.log(b - c);
        }
        else {
            console.log(d - c);
        }
    }
    else {
        if (b <= d) {
            console.log(b - a);
        }
        else {
            console.log(d - a);
        }
    }
}
