+= 1)
		for(var d = 0; d < 100; d += 1) {
			if (n/d <= value && n/d > lb_n/lb_d){
				lb_n = n;
				lb_d = d;
			}
			if (n/d >= value && n/d < ub_n/ub_d){
				ub_n = n;
				ub_d = d;
			}
		}
	document.getElementById("rational_lb_n").innerHTML = String(lb_n);
	document.getElementById("rational_lb_d").innerHTML = String(lb_d);
	document.getElementById("rational_ub_n").innerHTML = String(ub_n);
	document.getElementById("rational_ub_d").innerHTML = String(ub_d);
}

function interval_changed(no) {
	const valu