Вычислите: \(sin{135^\circ}.\)

• \(\frac{\sqrt{2}}{2}\)
• \(\frac{1}{2}\)
• \(\frac{\sqrt{2}}{4}\)
• \(\frac{\sqrt{3}}{2}\)