PHPでファイルをDLさせる方法

header("Cache-Control: public");
header("Pragma: public");
header("Content-Disposition: inline; filename=text.pdf");
header("Content-type:application/pdf");
header('Content-Transfer-Encoding: binary');
<del>header("Content-Length: ".$len."");</del>((通りすがりのヒトが指摘してくれました))
header('Content-Length: '.filesize($file_name));

だと思う．
ミソは，windowsのIEだと

header("Cache-Control: public");
header("Pragma: public");

が必要な事．