とても素朴な疑問なんだが。

＞ｎ個の値 a[0] , a[1] , ・・・ , a[n-1] が与えられているとき

この「与えられているとき」ってのを見る度に悩むんだな。
サンプルをどうしよう？って。
programなら、入力ルーチンを作るか、ファイルから読み込むか、
constで適当な値を作るか。

procedureやfunctionだけ作るとしても、pascalでは配列を
関数には渡せないよね？
それとも、a[0]...っていうグローバル変数があるものと
してもいいけど、それも美しくないし。