Является ли обратной пропорциональностью функция y = 7 / x?

Краткое пояснение: Обратная пропорциональность – это функция вида y = k / x, где k – постоянная. Нужно проверить, соответствует ли данная функция этому виду.