Let f be a real function defined on [0, 1] × R3 and let η ∈ (0, 1). Very recently, C.P. Gupta and V. Lakshimikantham, making use of the Leray-Schauder continuation theorem and Wirtinger-type inequalities, established an existence result for the problem
(Theorem 1 and Remark 4 of [Nonlinear Anal. 16 (1991), 949–957]).
The aim of the present paper is simply to point out how, bu means of a completely different approach, it is possible to improve that result not only by requiring much general on f, but also by giving a precise pointwise estimate on x″′