mysql_fetch_array, siempre te va a devolver un array, por lo que tendrías que descargar el valor del array, o usar mysql_fetch_num para usar un indice numérico:
Código PHP:
Ver original$mayorArr = mysql_fetch_num($res);
$mayor = $mayorArr[0];
Saludos.