是否能用更加严谨的数学符号表示

$i$ 的取值范围是 $1\sim n$，每个 $a_i$ 都 $>0$ 且是正整数。