簡単にいえば「readfile()」は、指定された(内部)ファイルを
そのままダウンロードファイルとして提供してくれる便利な関数だ。
┌──────────────────────────────────────┐
│header('Content-Disposition: attachment; filename="ダウンロード先名"');     │
│header('Content-Type: application/octet-stream');                           │
│@readfile($ダウンロード元ファイルパス);                                     │
└──────────────────────────────────────┘
こんな感じで使う。ファイルパス($ダウンロード元ファイルパス)と
公開されるファイル名(ダウンロード先名)を指定するだけで
後は煩雑な処理をまとめてやってくれる。

なお、「readfile()」の前に「@」を付けてエラーメッセージを抑止しているのは
もしエラーが発生した場合、その内容がダウンロードファイルとして
公開されてしまうので、それを防ぐためだ。