この公式の証明教えて

1 ：以下、5ちゃんねるからVIPがお送りします：2017/11/20(月) 21:46:12.253 ID:c3KxoxUn6HAPPY.net

integral [0 → 無限] {sin x / x} dx = π / 2

2 ：以下、5ちゃんねるからVIPがお送りします：2017/11/20(月) 21:46:34.633 ID:qB3MCjEL0HAPPY.net

しらん

q.e.d

3 ：以下、5ちゃんねるからVIPがお送りします：2017/11/20(月) 21:46:36.647 ID:flSvTbNF0HAPPY.net

なんとなく6くらい